From cc585db6949917ef8d9d72d88e2fdbb8d6c63df0 Mon Sep 17 00:00:00 2001 From: Rob Landley Date: Mon, 6 Jul 2015 05:08:48 -0500 Subject: Save failure reason for each make change .bad file. --- scripts/change.sh | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'scripts/change.sh') 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 -- cgit v1.2.3