Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/mono/monodevelop.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--ChangeLog4
-rwxr-xr-xconfigure2
2 files changed, 5 insertions, 1 deletions
diff --git a/ChangeLog b/ChangeLog
index 51ca4036e1..ea87c8fab3 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2007-12-05 Lluis Sanchez Gual <lluis@novell.com>
+
+ * configure: Stop if one of the configuration scripts fails.
+
2007-12-04 Jeffrey Stedfast <fejj@novell.com>
* configure (profile): Fixed a typo (s/--prfile/--profile/) and
diff --git a/configure b/configure
index b9766395eb..09a210e1e7 100755
--- a/configure
+++ b/configure
@@ -44,7 +44,7 @@ configure_packages ()
exit 1
fi
pushd $path > /dev/null
- PKG_CONFIG_PATH=$localconf:$PKG_CONFIG_PATH $sct --prefix=$prefix $ops
+ PKG_CONFIG_PATH=$localconf:$PKG_CONFIG_PATH $sct --prefix=$prefix $ops || exit 1
popd > /dev/null
create_local_config $path
packages="$packages $path"