aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xdm7
1 files changed, 7 insertions, 0 deletions
diff --git a/dm b/dm
index 21adf13..e9e9229 100755
--- a/dm
+++ b/dm
@@ -2,6 +2,13 @@
set -e
+if [ ! -f SUBSTS.local ]; then
+ echo "Please create the file SUBSTS.local first."
+ exit 1;
+fi
+
+chmod 600 SUBSTS.local
+
if [ `uname` = "Linux" ]; then
make --version | grep "GNU Make" > /dev/null 2>&1 || { echo "Please install GNU Make"; exit 1; }
MAKE=`command -v make`