diff options
author | lrknox <lrknox> | 2018-05-23 16:41:19 (GMT) |
---|---|---|
committer | lrknox <lrknox> | 2018-05-23 16:41:19 (GMT) |
commit | bc33afd0e4951dd5d267018a22278a848404040e (patch) | |
tree | ca4994eebe8282d44e2c398a5f3be70e28a84034 /configure | |
parent | dfde93ff8bbbb2316c40293185e9f42ef20164d9 (diff) | |
download | hdf5-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-x | configure | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -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; } |