diff options
author | Zoltan Varga <vargaz@gmail.com> | 2012-06-12 00:17:56 +0400 |
---|---|---|
committer | Mike Krüger <mkrueger@xamarin.com> | 2012-06-12 13:36:02 +0400 |
commit | bf60fc2a28d2fdc6c90d32bcf3e98b8a7361f99a (patch) | |
tree | 53337a32bdd8cc2c345c875f2c3be1ee0f2eb719 /configure | |
parent | c3ac65a869fcb1fa7f38522e1d70e17c22d3a365 (diff) |
Document the --enable-tests configure option.
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -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." |