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:
authorLluis Sanchez <lluis@novell.com>2007-12-05 12:20:09 +0300
committerLluis Sanchez <lluis@novell.com>2007-12-05 12:20:09 +0300
commit4bda1164e1654bada8aac8a82ade74d548befcb1 (patch)
tree71cdd7369dbd97af5334a2fcc121dc7e0864f9a0 /configure
parenteb83e6297926da5ffe25631b05573b5895abf6e9 (diff)
* configure: Stop if one of the configuration scripts fails.
svn path=/trunk/monodevelop/; revision=90737
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure2
1 files changed, 1 insertions, 1 deletions
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"