diff options
author | Bertrand Garrigues <bertrand.garrigues@laposte.net> | 2014-09-26 23:33:02 +0200 |
---|---|---|
committer | Bertrand Garrigues <bertrand.garrigues@laposte.net> | 2015-01-27 23:13:15 +0100 |
commit | 6d927d76c468217c58aac02b04151dcbcd09e167 (patch) | |
tree | 4df1661e557201a99bfef755254514d1c5e62437 | |
parent | 7e410d8c9a1400aefcbf5b554faeeef0a4619dfd (diff) | |
download | groff-git-6d927d76c468217c58aac02b04151dcbcd09e167.tar.gz |
Bug fix: Missing dependency between defs.h and config.status.
After a full build, if configure was re-invoked with a different
prefix, defs.h was not regenerated and groff and other binaries not
recompiled (thus still using the old prefix).
-rw-r--r-- | src/include/include.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/include/include.am b/src/include/include.am index 5388d49a4..85187911e 100644 --- a/src/include/include.am +++ b/src/include/include.am @@ -22,7 +22,7 @@ nodist_noinst_HEADERS = defs.h CLEANFILES += defs.h -defs.h: +defs.h: config.status @$(SHELL) $(top_srcdir)/gendef.sh defs.h \ "PROG_PREFIX=\"$(g)\"" \ "DEVICE=\"$(DEVICE)\"" \ |