diff options
Diffstat (limited to 'scripts/change.sh')
| -rwxr-xr-x | scripts/change.sh | 10 |
1 files changed, 3 insertions, 7 deletions
diff --git a/scripts/change.sh b/scripts/change.sh index 74889aa7..dda5ee14 100755 --- a/scripts/change.sh +++ b/scripts/change.sh @@ -9,15 +9,11 @@ ${HOSTCC:-cc} -I . scripts/install.c -o "$UNSTRIPPED"/instlist && export PREFIX=${PREFIX:-change/} && mkdir -p "$PREFIX" || exit 1 -# Build all the commands standalone except: - -# sh - shell builtins like "cd" and "exit" need the multiplexer -# help - needs to know what other commands are enabled (use command --help) - -for i in $("$UNSTRIPPED"/instlist | egrep -vw "sh|help") +# Build all the commands standalone +for i in $("$UNSTRIPPED"/instlist) do echo -n " $i" && - scripts/single.sh $i > /dev/null 2>$PREFIX/${i}.bad && + scripts/single.sh $i &>$PREFIX/${i}.bad && rm $PREFIX/${i}.bad || echo -n '*' done echo |