1 files changed, 0 insertions, 9 deletions
diff --git a/scripts/make b/scripts/make
deleted file mode 100755
index e8e518653..000000000
--- a/scripts/make
+++ /dev/null
@@ -1,9 +0,0 @@
-#!/usr/bin/env bash
-# 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