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:
authorZoltan Varga <vargaz@gmail.com>2012-06-12 00:17:56 +0400
committerMike Krüger <mkrueger@xamarin.com>2012-06-12 13:36:02 +0400
commitbf60fc2a28d2fdc6c90d32bcf3e98b8a7361f99a (patch)
tree53337a32bdd8cc2c345c875f2c3be1ee0f2eb719 /configure
parentc3ac65a869fcb1fa7f38522e1d70e17c22d3a365 (diff)
Document the --enable-tests configure option.
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."