change.sh: remove bashisms, change shebang to sh

1 files changed, 3 insertions, 3 deletions

diff --git a/scripts/change.sh b/scripts/change.sh
index 99dcfde9..b1fa62a0 100755
--- a/scripts/change.sh
+++ b/scripts/change.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/bin/sh
 
 # build each command as a standalone executable
 
@@ -14,8 +14,8 @@ mkdir -p "$PREFIX" || exit 1
 
 for i in $(generated/instlist | egrep -vw "sh|help")
 do
-  echo -n " $i" &&
+  printf ' %s' "$i" &&
   scripts/single.sh $i > /dev/null 2>$PREFIX/${i}.bad &&
-    rm $PREFIX/${i}.bad || echo -n '*'
+    rm $PREFIX/${i}.bad || printf '*'
 done
 echo