diff options
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/randomtest | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/scripts/randomtest b/scripts/randomtest index 7b80f4a..eebf1c5 100755 --- a/scripts/randomtest +++ b/scripts/randomtest @@ -76,17 +76,6 @@ cat .config \ mv .config.new .config } -# CONFIG_NOMMU + CONFIG_HUSH + CONFIG_WERROR don't mix -# (produces warning) -grep -q ^CONFIG_NOMMU= .config && \ -grep -q ^CONFIG_HUSH= .config && \ -{ -cat .config \ -| grep -v ^CONFIG_WERROR= \ -| cat >.config.new -mv .config.new .config -} - # Regenerate .config with default answers for yanked-off options { yes "" | make oldconfig >/dev/null; } || exit 1 |