Avoid bashisms

diff --git a/do-all b/do-all
index 2a8e19baf10541e933d115cbce6574ff50f77abd..bededfb739089c4a38ac676911f6c6102d5a429a 100755 (executable)
--- a/do-all
+++ b/do-all
@@ -1,4 +1,4 @@
-#! /usr/bin/env bash
+#! /bin/sh
 
 prog_dir="`dirname \"$0\"`" &&