From 3701dd0f9460157b09e83ae4c63648f0c3796580 Mon Sep 17 00:00:00 2001
From: Christian Engwer <christi@dune-project.org>
Date: Thu, 15 May 2008 15:51:48 +0000
Subject: [PATCH] fix module search (see FS#388)

[[Imported from SVN: r5195]]
---
 bin/duneproject | 8 +-------
 1 file changed, 1 insertion(+), 7 deletions(-)

diff --git a/bin/duneproject b/bin/duneproject
index fe8c6139c..e28e11a66 100755
--- a/bin/duneproject
+++ b/bin/duneproject
@@ -148,19 +148,13 @@ export PKG_CONFIG_PATH="$PKG_CONFIG_PATH:$(canonicalpath $0)/../lib/pkgconfig"
 # search for modules, both installed and src modules
 find_modules_in_path
 
-echo "FOUND_MODULES=$FOUND_MODULES"
-
 # get the real module names
 MODULES=""
 for i in $FOUND_MODULES; do
   mod=$(eval echo \$NAME_$i)
-  MODULES="$SRC_MODULES$mod "
-echo "$i ... MODULES=$MODULES" >&2
-
+  MODULES="$MODULES$mod "
 done
 
-echo "MODULES=$MODULES" >&2
-
 if [ "$MODULES" = "" ]; then
   echo "ERROR:">&2
   echo "  No dune modules were found!">&2
-- 
GitLab