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:
authorAaron Bockover <abockover@novell.com>2008-06-13 00:54:52 +0400
committerAaron Bockover <abockover@novell.com>2008-06-13 00:54:52 +0400
commitafd95fb32493d3c76d9fe3e779aebab1408044f0 (patch)
tree2931907cbca2ff30f58b1ac4062e99df1f23e76c /configure
parent7c521343b04c854755fbd49e426955d500c9b40d (diff)
2008-06-12 Aaron Bockover <abock@gnome.org>
* configure: Support CONFIG_SITE (BNC #350629) svn path=/trunk/monodevelop/; revision=105730
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure5
1 files changed, 4 insertions, 1 deletions
diff --git a/configure b/configure
index fccd182f26..fc8452d3e4 100755
--- a/configure
+++ b/configure
@@ -1,8 +1,11 @@
#!/bin/bash
VERSION=0.17
-prefix=/usr/local
profile=stable
+prefix=NONE
+test -e "$CONFIG_SITE" && . "$CONFIG_SITE"
+test "$prefix" = NONE && prefix=/usr/local
+
usage ()
{
echo "Usage : configure [--prefix=PREFIX] [--profile=PROFILE]"