diff options
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 3 |
1 files changed, 0 insertions, 3 deletions
@@ -5011,6 +5011,3 @@ echo " fatal warnings: $HAVE_FATAL_WARNINGS" | |||
5011 | echo " Gcov instrumentation: $HAVE_GCOV" | 5011 | echo " Gcov instrumentation: $HAVE_GCOV" |
5012 | echo " Install contrib scripts: $HAVE_CONTRIB_INSTALL" | 5012 | echo " Install contrib scripts: $HAVE_CONTRIB_INSTALL" |
5013 | echo | 5013 | echo |
5014 | |||
5015 | |||
5016 | |||