From 3435ccbb8e4bf25624a1b6cdf6910946cb91a732 Mon Sep 17 00:00:00 2001
From: Christian Engwer <christi@dune-project.org>
Date: Sat, 4 Nov 2006 14:54:25 +0000
Subject: [PATCH] know about duneweb
[[Imported from SVN: r4769]]
---
bin/dunecontrol | 3 +++
1 file changed, 3 insertions(+)
diff --git a/bin/dunecontrol b/bin/dunecontrol
index 535edd506..27f987db2 100755
--- a/bin/dunecontrol
+++ b/bin/dunecontrol
@@ -168,6 +168,9 @@ run_default_configure () {
if test "x$HAVE_dune_fem" = "xyes"; then
PARAMS="$PARAMS \"--with-dune-fem=$PATH_dune_fem\""
fi
+ if test "x$HAVE_duneweb" = "xyes"; then
+ PARAMS="$PARAMS \"--with-duneweb=$PATH_duneweb\""
+ fi
echo ./configure "$PARAMS"
eval ./configure "$PARAMS" || exit 1
else
--
GitLab