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:
authorJeffrey Stedfast <fejj@novell.com>2007-12-05 01:50:18 +0300
committerJeffrey Stedfast <fejj@novell.com>2007-12-05 01:50:18 +0300
commit031e67f5b4606e757e6285477acbac504092bd19 (patch)
tree212596936dcabe95b2a17a97a02a8019c977aad7 /configure
parenta4e809833a2247c25172018bc647fba602a5ca70 (diff)
minor configure fixes
svn path=/trunk/monodevelop/; revision=90725
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure42
1 files changed, 27 insertions, 15 deletions
diff --git a/configure b/configure
index 927a4f1ec8..b9766395eb 100755
--- a/configure
+++ b/configure
@@ -5,7 +5,7 @@ profile=stable
usage ()
{
- echo "Usage : configure [--prefix=PREFIX] [--prfile=PROFILE]"
+ echo "Usage : configure [--prefix=PREFIX] [--profile=PROFILE]"
echo
echo "Profiles available :"
ls -1 profiles
@@ -79,16 +79,16 @@ create_local_config ()
}
while test x$1 != x; do
- case $1 in
- --prefix=*)
- prefix=`echo $1 | sed 's/--prefix=//'`
- ;;
- --prefix)
- echo --prefix needs an argument: --prefix=directory >&2
-
- ;;
+ case $1 in
+ --prefix=*)
+ prefix=`echo $1 | sed 's/--prefix=//'`
+ ;;
+ --prefix)
+ shift
+ prefix=$1
+ ;;
--profile=*)
- prof=`echo $1 | sed 's/--profile=//'`
+ prof=`echo $1 | sed 's/--profile=//'`
validate_profile "$prof"
if [ $? -eq 1 ]; then
profile=$prof
@@ -97,18 +97,30 @@ while test x$1 != x; do
usage
exit 1
fi
- ;;
+ ;;
+ --profile)
+ shift
+ prof=$1
+ validate_profile "$prof"
+ if [ $? -eq 1 ]; then
+ profile=$prof
+ else
+ echo "Invalid profile name - $conf"
+ usage
+ exit 1
+ fi
+ ;;
--help)
usage
exit
;;
- *)
- echo Unknown argument $1 >&2
+ *)
+ echo Unknown argument $1 >&2
usage
exit 1
;;
- esac
- shift
+ esac
+ shift
done
configure_packages