added sharpbang directive to make.sh

diff --git a/src/make.sh b/src/make.sh
index d5129c160d6398ded833bc277257351e5cd14128..f7f87982e759e9fb422e3ccadf2da7c0bb4851d4 100755 (executable)
--- a/src/make.sh
+++ b/src/make.sh
@@ -1,3 +1,5 @@
+#! /bin/sh
+
 # --- BEGINNING OF USER-EDITABLE PART ---
 
 # Metalua sources