From dc2fe2d5b642d64ecd6059cd9988ac615867b73a Mon Sep 17 00:00:00 2001 From: fgerlits Date: Tue, 12 Sep 2006 17:41:23 +0000 Subject: [PATCH] addendum to [2278] --- livesupport/bin/setupDevelopmentEnvironmentAndLog.sh | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/livesupport/bin/setupDevelopmentEnvironmentAndLog.sh b/livesupport/bin/setupDevelopmentEnvironmentAndLog.sh index e944f6405..5a7a911a3 100755 --- a/livesupport/bin/setupDevelopmentEnvironmentAndLog.sh +++ b/livesupport/bin/setupDevelopmentEnvironmentAndLog.sh @@ -135,7 +135,8 @@ $basedir/configure --with-hostname=localhost --with-www-docroot=$usrdir/var \ --prefix=$usrdir --with-apache-group=$apache_group \ --with-check-boost=yes --with-check-gtk=yes \ --with-check-gtkmm=yes --with-check-icu=yes \ - --with-check-libxmlpp=yes > $tmpdir/configure_development_environment.log 2>&1 + --with-check-libxmlpp=yes --enable-debug \ + > $tmpdir/configure_development_environment.log 2>&1 echo "Configure is done, configure_development_environment.log is created"; echo "";