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-xconfigure3
1 files changed, 3 insertions, 0 deletions
diff --git a/configure b/configure
index 3d1775ec47..c947cb6169 100755
--- a/configure
+++ b/configure
@@ -46,6 +46,9 @@ usage ()
echo " included in the build. It can be used in combination with --profile"
echo " to select the add-ins to be built for a specific profile."
echo ""
+ echo "--enable-tests"
+ echo " Build the md test suite"
+ echo ""
echo "--profile=PROFILE"
echo ""
echo " Configure the build system using the provided profile."