diff options
| -rw-r--r-- | src/util/ChangeLog | 4 | ||||
| -rw-r--r-- | src/util/depfix.sed | 4 |
2 files changed, 7 insertions, 1 deletions
diff --git a/src/util/ChangeLog b/src/util/ChangeLog index 224aa7335..0b75390ac 100644 --- a/src/util/ChangeLog +++ b/src/util/ChangeLog @@ -1,6 +1,8 @@ 2002-06-15 Ken Raeburn <raeburn@mit.edu> - * depfix.sed: Ignore header files under /mit/gnu/. + * depfix.sed: Ignore header files under /mit/gnu/. Replace + $(BUILDTOP)/include/com_err.h with $(COM_ERR_DEPS), now defined + via pre.in. 2002-04-25 Ezra Peisach <epeisach@bu.edu> diff --git a/src/util/depfix.sed b/src/util/depfix.sed index 2c05d0b81..6ca57b765 100644 --- a/src/util/depfix.sed +++ b/src/util/depfix.sed @@ -44,6 +44,10 @@ bdotdot # rely on VPATH for $(srcdir) files s;\$(srcdir)/\([^ /]* \);\1;g + +# allow override of some util dependencies in case local tools are used +s;\$(BUILDTOP)/include/com_err.h ;$(COM_ERR_DEPS) ;g + # now delete trailing whitespace s; *$;;g |