diff options
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/randomtest | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/randomtest b/scripts/randomtest index d9d3959be..7b80f4a2a 100755 --- a/scripts/randomtest +++ b/scripts/randomtest | |||
@@ -90,7 +90,7 @@ mv .config.new .config | |||
90 | # Regenerate .config with default answers for yanked-off options | 90 | # Regenerate .config with default answers for yanked-off options |
91 | { yes "" | make oldconfig >/dev/null; } || exit 1 | 91 | { yes "" | make oldconfig >/dev/null; } || exit 1 |
92 | 92 | ||
93 | nice -n 10 make | 93 | nice -n 10 make 2>&1 | tee -a make.log |
94 | 94 | ||
95 | test -x busybox && { | 95 | test -x busybox && { |
96 | cd .. | 96 | cd .. |
@@ -99,5 +99,5 @@ test -x busybox && { | |||
99 | } | 99 | } |
100 | 100 | ||
101 | cd .. | 101 | cd .. |
102 | mv "$dir" failed."$dir" | 102 | mv "$dir" "failed.$dir" |
103 | exit 1 | 103 | exit 1 |