summaryrefslogtreecommitdiffstats
path: root/configure
diff options
context:
space:
mode:
authorlrknox <lrknox>2018-05-23 16:41:19 (GMT)
committerlrknox <lrknox>2018-05-23 16:41:19 (GMT)
commitbc33afd0e4951dd5d267018a22278a848404040e (patch)
treeca4994eebe8282d44e2c398a5f3be70e28a84034 /configure
parentdfde93ff8bbbb2316c40293185e9f42ef20164d9 (diff)
downloadhdf5-bc33afd0e4951dd5d267018a22278a848404040e.zip
hdf5-bc33afd0e4951dd5d267018a22278a848404040e.tar.gz
hdf5-bc33afd0e4951dd5d267018a22278a848404040e.tar.bz2
Add comment to configure.ac regarding how to switch default build mode.
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure2
1 files changed, 2 insertions, 0 deletions
diff --git a/configure b/configure
index 1b66121..1c6f961 100755
--- a/configure
+++ b/configure
@@ -22385,6 +22385,8 @@ fi
## ----------------------------------------------------------------------
## Production flags? Save the value in $CONFIG_MODE so we have it for
## the record.
+## To switch the default between production and development, move X-|
+## to X-yes) or X-no)
##
{ $as_echo "$as_me:${as_lineno-$LINENO}: checking for production mode" >&5
$as_echo_n "checking for production mode... " >&6; }