mksym.sh: Check exitence of alliance-check-toolkit

diff --git a/experiments9/mksym.sh b/experiments9/mksym.sh
index e65a54c4dc6f8b9f74efb7d2629174e7782df6e3..1659db864d3a7e5ecb06dc0748edcc11c32c483d 100755 (executable)
--- a/experiments9/mksym.sh
+++ b/experiments9/mksym.sh
@@ -1,6 +1,10 @@
 #!/bin/bash
 
 ALLIANCE_TOOLKIT=${ALLIANCE_TOOLKIT:-${HOME}/alliance-check-toolkit/}
+if [ ! -d ${ALLIANCE_TOOLKIT} ]; then
+  echo "alliance-check-toolkit not found; please set ALLIANCE_TOOLKIT"
+  exit 20
+fi
 
 echo "creating symlinks"