diff --git a/build_and_run_umt.sh b/build_and_run_umt.sh index 8517228..7a3f998 100755 --- a/build_and_run_umt.sh +++ b/build_and_run_umt.sh @@ -1,4 +1,4 @@ -#!/bin/sh -x +#!/bin/bash -xe # This script will compile a basic Release build of UMT. Additional CMake options can be added to the command line args of this # script, and they will be picked up and added to the UMT CMake command at the bottom of this script. # For a list of supported CMake options, run 'ccmake /path/to/umt/src'.