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:
authorMarius Ungureanu <marius.ungureanu@xamarin.com>2015-09-19 18:56:20 +0300
committerMarius Ungureanu <marius.ungureanu@xamarin.com>2015-09-19 19:33:31 +0300
commit459960c19b5d056a0c5430b9da8d92c5a5562236 (patch)
tree4bb6219651d8bd3fcdadeb838987e0bfac26235d /main/configure.in
parent8aca159e622fe92d91bbe45fdccd02608c22817d (diff)
[Build] Add release switch to configure.
Diffstat (limited to 'main/configure.in')
-rw-r--r--main/configure.in8
1 files changed, 8 insertions, 0 deletions
diff --git a/main/configure.in b/main/configure.in
index 3322da7dc5..aeadc95918 100644
--- a/main/configure.in
+++ b/main/configure.in
@@ -178,6 +178,13 @@ AC_ARG_ENABLE(git,
AM_CONDITIONAL(ENABLE_GIT, test x$enable_git = xyes)
+AC_ARG_ENABLE(release,
+ AC_HELP_STRING([--enable-release],
+ [build release mode [default=no]]),
+ enable_release=${enableval}, enable_release=no)
+
+AM_CONDITIONAL(RELEASE_BUILDS, [test x$enable_release = xyes])
+
platform_bindings=""
# Gnome platform addin
@@ -374,4 +381,5 @@ echo " * Subversion (Unix): $enable_subversion"
echo " * Git: $enable_git"
echo " * Platform bindings: $platform_bindings"
echo " * Unit tests: $enable_tests"
+echo " * Release builds: $enable_release"
echo ""