X-Git-Url: http://demsky.eecs.uci.edu/git/?p=model-checker-benchmarks.git;a=blobdiff_plain;f=build.sh;fp=build.sh;h=0000000000000000000000000000000000000000;hp=d78b2e0d3c9be6e2735338ea9166becac844da43;hb=430eca5dcc20bfc89edac5c134d1c8af7a9614bc;hpb=e326d381460902d927b8862149ce5382f8509bbd

diff --git a/build.sh b/build.sh
deleted file mode 100755
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