diff options
author | Marius Ungureanu <marius.ungureanu@xamarin.com> | 2015-09-19 18:56:20 +0300 |
---|---|---|
committer | Marius Ungureanu <marius.ungureanu@xamarin.com> | 2015-09-19 19:33:31 +0300 |
commit | 459960c19b5d056a0c5430b9da8d92c5a5562236 (patch) | |
tree | 4bb6219651d8bd3fcdadeb838987e0bfac26235d /configure | |
parent | 8aca159e622fe92d91bbe45fdccd02608c22817d (diff) |
[Build] Add release switch to configure.
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 12 |
1 files changed, 11 insertions, 1 deletions
@@ -2,6 +2,7 @@ VERSION=2.1.0 profile=default tests=no +release=no prefix=NONE test -e "$CONFIG_SITE" && . "$CONFIG_SITE" test "$prefix" = NONE && prefix=/usr/local @@ -10,7 +11,7 @@ usage () { profiles=`ls profiles | sed -e "s/$/,/g" | fmt | sed -e 's/,$//' -e "s/ChangeLog, //"` echo "" - echo "Usage : configure [--prefix=PREFIX] [--select] [--profile=PROFILE]" + echo "Usage : configure [--prefix=PREFIX] [--select] [--profile=PROFILE] [--release-builds]" echo "" echo "This script allows selecting and configuring a set of MonoDevelop" echo "modules to be included in an integrated build." @@ -49,6 +50,9 @@ usage () echo "--enable-tests" echo " Build the md test suite" echo "" + echo "--enable-release" + echo " Builds md in release mode" + echo "" echo "--profile=PROFILE" echo "" echo " Configure the build system using the provided profile." @@ -167,6 +171,9 @@ configure_packages () prefixarg="" fi done + if test xyes == x$release; then + ops="$ops --enable-release" + fi title="Configuring package: $path" nc=`echo $title | wc -m` @@ -225,6 +232,9 @@ while test x$1 != x; do --enable-tests) tests=yes ;; + --enable-release) + release=yes + ;; --prefix=*) prefix=`echo $1 | sed 's/--prefix=//'` ;; |