aboutsummaryrefslogtreecommitdiff
path: root/scripts
diff options
context:
space:
mode:
Diffstat (limited to 'scripts')
-rwxr-xr-xscripts/change.sh5
1 files changed, 3 insertions, 2 deletions
diff --git a/scripts/change.sh b/scripts/change.sh
index 8b8ab92b..dcd581ee 100755
--- a/scripts/change.sh
+++ b/scripts/change.sh
@@ -14,6 +14,7 @@ mkdir -p "$PREFIX" || exit 1
for i in $(generated/instlist | egrep -vw "sh|help")
do
- echo -n "$i " &&
- scripts/single.sh $i > /dev/null || touch $PREFIX/${i}.bad
+ echo -n " $i" &&
+ scripts/single.sh $i > /dev/null 2>$PREFIX/${i}.bad &&
+ rm $PREFIX/${i}.bad || echo -n '*'
done