kconfig/conf: print the seed used to initialise the RNG for randconfig
authorYann E. MORIN <yann.morin.1998@free.fr>
Mon, 20 May 2013 21:09:03 +0000 (23:09 +0200)
committerYann E. MORIN <yann.morin.1998@free.fr>
Tue, 18 Jun 2013 21:59:01 +0000 (23:59 +0200)
... so the user has a chance to reproduce a test-case.

Signed-off-by: "Yann E. MORIN" <yann.morin.1998@free.fr>
scripts/kconfig/conf.c

index 94521c7712c3bdf16252d34e2d958c1b1636848b..38616c14c0711c2780bf7509a357ec12935b2317 100644 (file)
@@ -532,6 +532,7 @@ int main(int ac, char **av)
                                        seed = tmp;
                                }
                        }
+                       fprintf( stderr, "KCONFIG_SEED=0x%X\n", seed );
                        srand(seed);
                        break;
                }