diff options
Diffstat (limited to 'config/depend.in')
| -rw-r--r-- | config/depend.in | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/config/depend.in b/config/depend.in index dae45ce..2bd98af 100644 --- a/config/depend.in +++ b/config/depend.in @@ -14,6 +14,12 @@ # have dependency information rebuilt, and the Makefile is not # modified. # +# This is also where tracing information is updated. The $(TRACE) +# program is run on each source file to make sure that the H5TRACE() +# macros are up to date. If they are then the file is not modified, +# otherwise the file is changed and a backup is saved by appending a +# tilde to the file name. +# .PRECIOUS: .depend .distdep dep depend: .distdep @@ -28,6 +34,7 @@ dep depend: .distdep echo Building dependencies for $$dep; \ obj=`echo $$dep | sed 's/\.c/\\\\.o/'`; \ sed "/$$obj/,/[^\\]$$/d" <$@ >$@- && mv $@- $@; \ + $(TRACE) $$dep; \ $(CC) -M -MG $(CPPFLAGS) $$dep >>$@; \ fi; \ done; |