1 files changed, 11 insertions, 0 deletions
diff --git a/scripts/make b/scripts/make
new file mode 100755
index 000000000..c8807be94
--- /dev/null
+++ b/scripts/make
@@ -0,0 +1,11 @@
+#!/usr/bin/env bash
+# $Id$
+#-
+# This file is part of the OpenADK project. OpenADK is copyrighted
+# material, please see the LICENCE file in the top-level directory.
+
+if [ -z "$(which gmake 2>/dev/null)" ];then
+	/usr/bin/make "$@"
+else
+	gmake "$@"
+fi