Update to latest SAW build
@@ -18,7 +18,7 @@ mkdir -p $DOWNLOAD_DIR
cd $DOWNLOAD_DIR
#download saw binaries
-curl https://saw.galois.com/builds/nightly/saw-0.2-2017-07-26-Ubuntu14.04-64.tar.gz > saw.tar.gz;
+curl https://saw.galois.com/builds/nightly/saw-0.2-2017-07-27-Ubuntu14.04-64.tar.gz > saw.tar.gz;
mkdir -p saw && tar -xzf saw.tar.gz --strip-components=1 -C saw
mkdir -p $INSTALL_DIR && mv saw/* $INSTALL_DIR
