From: Timo Heister <timo.heister@gmail.com>
Date: Mon, 8 Feb 2016 22:35:45 +0000 (-0500)
Subject: enable.sh: check that object is a file
X-Git-Tag: v0.8.4~10^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=2501cde4c318fef463c1784288bec40fbb4b7644;p=candi.git

enable.sh: check that object is a file
---

diff --git a/candi.sh b/candi.sh
index 1d2942d..ba63464 100755
--- 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