diff options
author | Denis Vlasenko <vda.linux@googlemail.com> | 2009-03-28 22:08:23 +0300 |
---|---|---|
committer | Denis Vlasenko <vda.linux@googlemail.com> | 2009-03-28 22:08:23 +0300 |
commit | a2333c8938af4829a8eac8c09615e6652cd412f1 (patch) | |
tree | 480f2729015c99231325990516c74a47ee30d8cd /scripts | |
parent | 78f9d8eb7adc10f1af8977212f24ab3c418a9c2b (diff) |
randomtest fixes
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 # Regenerate .config with default answers for yanked-off options { yes "" | make oldconfig >/dev/null; } || exit 1 -nice -n 10 make +nice -n 10 make 2>&1 | tee -a make.log test -x busybox && { cd .. @@ -99,5 +99,5 @@ test -x busybox && { } cd .. -mv "$dir" failed."$dir" +mv "$dir" "failed.$dir" exit 1 |