diff options
| author | Ganesh Ajjanagadde <gajjanagadde@gmail.com> | 2015-10-08 09:01:20 -0400 |
|---|---|---|
| committer | Stefano Sabatini <stefasab@gmail.com> | 2015-10-08 16:29:31 +0200 |
| commit | 079d553b9e61b839744fb2688bc842f341f1501e (patch) | |
| tree | 410e7de3c36735e46a497fd2b7c6c64d9fa09f20 /configure | |
| parent | 1460719153e5eba1eac8de0510766cf7397740bf (diff) | |
configure: add message to avoid manual modification of config.texi
Signed-off-by: Ganesh Ajjanagadde <gajjanagadde@gmail.com>
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -6221,7 +6221,7 @@ enabled getenv || echo "#define getenv(x) NULL" >> $TMPH mkdir -p doc mkdir -p tests mkdir -p tests/api -echo "@c auto-generated by configure" > doc/config.texi +echo "@c auto-generated by configure - do not modify! " > doc/config.texi print_config ARCH_ "$config_files" $ARCH_LIST print_config HAVE_ "$config_files" $HAVE_LIST |