diff options
author | eschnett <eschnett@83718e91-0e4f-0410-abf4-91180603181f> | 2012-09-14 18:20:59 +0000 |
---|---|---|
committer | eschnett <eschnett@83718e91-0e4f-0410-abf4-91180603181f> | 2012-09-14 18:20:59 +0000 |
commit | b881b2fc8fa251c91a15b8d026f794a8c1d59b4e (patch) | |
tree | ff289feced1d697511554a9e03928842467c207c | |
parent | 01b07a02007d95092d8a34d72f00d5c06d72d27f (diff) |
Abort gracefully if simfactory is not found
git-svn-id: http://svn.cactuscode.org/arrangements/CactusUtils/Formaline/trunk@223 83718e91-0e4f-0410-abf4-91180603181f
-rwxr-xr-x | src/util/git-get-localdir.pl | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/util/git-get-localdir.pl b/src/util/git-get-localdir.pl index a034a1a..b16405d 100755 --- a/src/util/git-get-localdir.pl +++ b/src/util/git-get-localdir.pl @@ -22,6 +22,10 @@ $silent = $silent !~ /^no$/i; my $silencer = $silent ? '> /dev/null 2>&1' : ''; +# Abort gracefully if simfactory is not found +if (not -x "${CCTK_HOME}/simfactory/bin/sim") { + warn "Could not find simfactory in '${CCTK_HOME}/simfactory/bin/sim'. Local git repository will not be used."; +} # Obtain local machine name my $machine = `cd ${CCTK_HOME} && ${CCTK_HOME}/simfactory/bin/sim whoami`; |