diff options
Diffstat (limited to 'Makefile.in')
| -rw-r--r-- | Makefile.in | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Makefile.in b/Makefile.in index e3a1ff5d03..1af569b80c 100644 --- a/Makefile.in +++ b/Makefile.in @@ -264,7 +264,8 @@ reconfig config.status: $(srcdir)/configure $(srcdir)/enc/Makefile.in \ $(srcdir)/configure: $(srcdir)/configure.in $(CHDIR) $(srcdir) && exec $(AUTOCONF) -incs: id.h probes.h +incs: id.h +all-incs: probes.h # Things which should be considered: # * with gperf v.s. without gperf |