aboutsummaryrefslogtreecommitdiff
path: root/dm
diff options
context:
space:
mode:
Diffstat (limited to 'dm')
-rwxr-xr-xdm27
1 files changed, 0 insertions, 27 deletions
diff --git a/dm b/dm
deleted file mode 100755
index 2a085fd..0000000
--- a/dm
+++ /dev/null
@@ -1,27 +0,0 @@
-#!/bin/sh
-
-set -e
-
-git config core.hooksPath .githooks
-
-if [ ! -f SUBSTS.local ]; then
- echo "Please create the file SUBSTS.local first."
- exit 1;
-fi
-
-chmod 600 SUBSTS.local
-
-case `uname` in
- Linux|Darwin)
- make --version | grep "GNU Make" > /dev/null 2>&1 || { echo "Please install GNU Make"; exit 1; }
- MAKE=`command -v make`
- ;;
- *)
- command -v gmake > /dev/null 2>&1 || { echo "Please install GNU Make"; exit 1; }
- MAKE=`command -v gmake`
- ;;
-esac
-
-${MAKE} -f Makefile $@
-
-# vim:ft=sh