diff options
Diffstat (limited to 'src/config')
| -rw-r--r-- | src/config/ChangeLog | 5 | ||||
| -rw-r--r-- | src/config/post.in | 2 |
2 files changed, 6 insertions, 1 deletions
diff --git a/src/config/ChangeLog b/src/config/ChangeLog index 1ff8bd012..44a85667a 100644 --- a/src/config/ChangeLog +++ b/src/config/ChangeLog @@ -1,3 +1,8 @@ +2002-09-24 Ezra Peisach <epeisach@bu.edu> + + * post.in (Makefile): Run config.status to generate only the + specific makefile that changed. + 2002-09-24 Ken Raeburn <raeburn@mit.edu> * pre.in (.et.c, .et.h): Change rules to only update the desired diff --git a/src/config/post.in b/src/config/post.in index ddd2e6661..c364da62d 100644 --- a/src/config/post.in +++ b/src/config/post.in @@ -89,7 +89,7 @@ Makefiles-prerecurse:: Makefile Makefile: $(srcdir)/Makefile.in $(thisconfigdir)/config.status \ $(SRCTOP)/config/pre.in $(SRCTOP)/config/post.in - cd $(thisconfigdir) && $(SHELL) config.status + cd $(thisconfigdir) && $(SHELL) config.status $(mydir)/Makefile $(thisconfigdir)/config.status: $(srcdir)/$(thisconfigdir)/configure cd $(thisconfigdir) && $(SHELL) config.status --recheck $(srcdir)/$(thisconfigdir)/configure: $(srcdir)/$(thisconfigdir)/configure.in \ |