Admin/reallymakeall

+#/!bin/bash
+
+ISATOOL=${ISATOOL:-isatool}
+type -p "$ISATOOL" >/dev/null || { echo "isatool not found!" >&2; exit 2; }
+
+for FILE in $(find . -name IsaMakefile -print)
+do
+  DIR=$(dirname "$FILE")
+  echo "Entering $DIR ..."
+  ( cd "$DIR"; $ISATOOL make "$@"; )
+done