diff options
| author | Yann E. MORIN <yann.morin.1998@free.fr> | 2013-05-20 23:09:03 +0200 |
|---|---|---|
| committer | Yann E. MORIN <yann.morin.1998@free.fr> | 2013-06-18 23:59:01 +0200 |
| commit | a5f6d795f5941e97e757b643a6482968a66c6150 (patch) | |
| tree | 9c1d5153c9e3b3a760ffac92f0bc975d85eaaad0 /scripts | |
| parent | e85ac12443da72d79dbf7c55c12e4b16b8923d87 (diff) | |
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>
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/kconfig/conf.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/kconfig/conf.c b/scripts/kconfig/conf.c index 94521c7712c..38616c14c07 100644 --- a/scripts/kconfig/conf.c +++ b/scripts/kconfig/conf.c @@ -532,6 +532,7 @@ int main(int ac, char **av) seed = tmp; } } + fprintf( stderr, "KCONFIG_SEED=0x%X\n", seed ); srand(seed); break; } |