From c0e85dc175f4ecc012e66a86949b2887389740ed Mon Sep 17 00:00:00 2001
From: Dan Liew <daniel.liew@imperial.ac.uk>
Date: Thu, 23 Mar 2017 15:45:12 +0000
Subject: [TravisCI] Check if `METASMT_VERSION` is set and abort if it is not
 set. Also exit if any of the commands in `.travis/metaSMT.sh` fail.

---
 .travis/metaSMT.sh | 4 ++++
 1 file changed, 4 insertions(+)

(limited to '.travis')

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
 
-- 
cgit 1.4.1