More robust SENF location check in senfutil

git-svn-id: https://svn.berlios.de/svnroot/repos/senf/trunk@1321 270642c3-0616-0410-b53a-bc976706d245

diff --git a/site_scons/senfutil.py b/site_scons/senfutil.py
index 12632b9..52d9c1e 100644 (file)
--- a/site_scons/senfutil.py
+++ b/site_scons/senfutil.py
@@ -57,7 +57,7 @@ def SetupForSENF(env, senf_paths = []):
     # If we have a symbolic link (or directory) 'senf', we use it as our
     # senf repository
     for path in senf_paths:
-        if os.path.exists(path):
+        if os.path.exists(os.path.join(path,"senf/config.hh")):
             print "\nUsing SENF in '%s/'\n" % os.path.abspath(path)
             env.Append( LIBPATH = [ path ],
                         CPPPATH = [ path ],