about summary refs log tree commit diff homepage
path: root/.travis
diff options
context:
space:
mode:
Diffstat (limited to '.travis')
-rwxr-xr-x.travis/metaSMT.sh4
1 files changed, 4 insertions, 0 deletions
diff --git a/.travis/metaSMT.sh b/.travis/metaSMT.sh
index 9c21d341..ce559f8f 100755
--- a/.travis/metaSMT.sh
+++ b/.travis/metaSMT.sh
@@ -1,5 +1,9 @@
 #!/bin/bash -x
 
+set -e
+
+: ${METASMT_VERSION?"METASMT_VERSION not specified"}
+
 # Get Boost, Z3, libgmp
 sudo apt-get -y install libboost1.55-dev libz3 libz3-dev libgmp-dev