kconfig/conf: print the seed used to initialise the RNG for randconfig

... so the user has a chance to reproduce a test-case.

Signed-off-by: "Yann E. MORIN" <yann.morin.1998@free.fr>
Signed-off-by: Christian Lamparter <chunkeey@googlemail.com>

diff --git a/config/conf.c b/config/conf.c
index 8b5fdf57921572c93f950d65af93b147fd3a87e3..893f031283114ef403c44ca2e9706d2ec551902e 100644 (file)
--- a/config/conf.c
+++ b/config/conf.c
@@ -516,6 +516,7 @@ int main(int ac, char **av)
                                        seed = tmp;
                                }
                        }
+                       fprintf( stderr, "KCONFIG_SEED=0x%X\n", seed );
                        srand(seed);
                        break;
                }