diff options
| -rw-r--r-- | Makefile.in | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/Makefile.in b/Makefile.in index c91a77c6f..d2877c6b0 100644 --- a/Makefile.in +++ b/Makefile.in @@ -146,7 +146,7 @@ clean buildclean: $(MF_TARGETS) distclean: clean @-rm -f $(MF_TARGETS) config.status config.log -sysinfo: +sysinfo: config.status @./sysinfogen.sh src/common/sysinfo_new.inc @CFLAGS@ @CPPFLAGS@ @if cmp -s src/common/sysinfo.inc src/common/sysinfo_new.inc; then \ rm src/common/sysinfo_new.inc ; \ @@ -154,6 +154,10 @@ sysinfo: mv src/common/sysinfo_new.inc src/common/sysinfo.inc ; \ fi +config.status: configure + @echo " RECONFIGURE" + @./config.status --recheck + help: Makefile @echo "most common targets are 'all' 'sql' 'clean' 'plugins' 'help'" @echo "possible targets are:" |