clean up

[model-checker-benchmarks.git] / build.sh

diff --git a/build.sh b/build.sh
deleted file mode 100755 (executable)
index d78b2e0..0000000
--- a/build.sh
+++ /dev/null
@@ -1,11 +0,0 @@
-#!/bin/bash
-
-CHECKER_DIR=~/model-checker-priv/model-checker-priv
-
-if [ -z $1 ] ; then
-       echo "Use default CDS checker directory"
-else
-       CHECKER_DIR=$1
-fi
-
-make CDS_DIR=$CHECKER_DIR