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:
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]"