From c2a5b8c98eba2ed1cf128b829edb9439ff6a405d Mon Sep 17 00:00:00 2001
From: Alexander Gladysh <agladysh@gmail.com>
Date: Thu, 22 Jan 2009 09:24:07 +0300
Subject: [PATCH] added sharpbang directive to make.sh

---
 src/make.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/make.sh b/src/make.sh
index d5129c1..f7f8798 100755
--- a/src/make.sh
+++ b/src/make.sh
@@ -1,3 +1,5 @@
+#! /bin/sh
+
 # --- BEGINNING OF USER-EDITABLE PART ---
 
 # Metalua sources
-- 
2.44.0