diff options
Diffstat (limited to 'gnattools/Makefile.in')
| -rw-r--r-- | gnattools/Makefile.in | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gnattools/Makefile.in b/gnattools/Makefile.in index 46da2df8ba70..efc5f7575f05 100644 --- a/gnattools/Makefile.in +++ b/gnattools/Makefile.in @@ -314,7 +314,8 @@ Makefile: $(srcdir)/Makefile.in config.status config.status: $(srcdir)/configure $(SHELL) ./config.status --recheck -$(srcdir)/configure: @MAINT@ $(srcdir)/configure.ac +$(srcdir)/configure: @MAINT@ $(srcdir)/configure.ac \ + $(srcdir)/../config/acx.m4 $(srcdir)/../config/override.m4 cd $(srcdir) && autoconf # Don't export variables to the environment, in order to not confuse |