From 0aeeeb12d93356060a4ceb3fe63eb448f97b13db Mon Sep 17 00:00:00 2001 From: "Joel E. Denny" Date: Fri, 29 Mar 2024 14:11:18 -0400 Subject: [PATCH] Fix bash command line in build script (#23) On some systems, /bin/sh points to dash, which does not support some bash constructs, like `${BASH_SOURCE[0]}`. Change #! line to /bin/bash instead. Add -e option to stop upon first command that fails. Co-authored-by: Joel E. Denny --- build_and_run_umt.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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'.