]> https://gitweb.dealii.org/ - candi.git/commitdiff
enable.sh: check that object is a file
authorTimo Heister <timo.heister@gmail.com>
Mon, 8 Feb 2016 22:35:45 +0000 (17:35 -0500)
committerTimo Heister <timo.heister@gmail.com>
Mon, 8 Feb 2016 22:35:45 +0000 (17:35 -0500)
candi.sh

index 1d2942dbe4366db773ed2f8acd9e54a39df360b4..ba634642aa95428a23f01e9cbe1f7d931a8cdfbe 100755 (executable)
--- a/candi.sh
+++ b/candi.sh
@@ -877,7 +877,7 @@ popd >/dev/null
 
 for f in $P/*
 do
-  if [ "$f" != "$P/enable.sh" ]
+  if [ "$f" != "$P/enable.sh" ] && [ -f "$f" ]
   then
     source $f
   fi

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.