Lines Matching refs:random
371 --enable-random randomly enable/disable components
372 --disable-random
373 --enable-random=LIST randomly enable/disable specific components or
374 --disable-random=LIST component groups. LIST is a comma-separated list
378 --random-seed=VALUE seed value for --enable/disable-random
2850 --enable-random|--disable-random)
2851 action=${opt%%-random}
2854 --enable-random=*|--disable-random=*)
2855 action=${opt%%-random=*}
5332 echo "random seed ${random_seed}"