diff options
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." |