diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/util/ChangeLog | 4 | ||||
| -rw-r--r-- | src/util/depfix.sed | 3 |
2 files changed, 7 insertions, 0 deletions
diff --git a/src/util/ChangeLog b/src/util/ChangeLog index 060b85b0e..224aa7335 100644 --- a/src/util/ChangeLog +++ b/src/util/ChangeLog @@ -1,3 +1,7 @@ +2002-06-15 Ken Raeburn <raeburn@mit.edu> + + * depfix.sed: Ignore header files under /mit/gnu/. + 2002-04-25 Ezra Peisach <epeisach@bu.edu> * reconf: Only for autoreconf 2.53, create a private copy of diff --git a/src/util/depfix.sed b/src/util/depfix.sed index 561d08d7c..2c05d0b81 100644 --- a/src/util/depfix.sed +++ b/src/util/depfix.sed @@ -28,9 +28,12 @@ s/ */ /g s;^\([a-zA-Z0-9_\-]*\).o:;$(OUTPRE)\1.$(OBJEXT):; # delete system-specific or compiler-specific files from list +# (the last two are pathnames used at MIT -- if you have a local +# gcc installation in some odd place, you may need to customize this) s;/usr/include/[^ ]* ;;g s;/usr/lib/[^ ]* ;;g s;/mit/cygnus[^ ]* ;;g +s;/mit/gnu/[^ ]* ;;g # remove foo/../ sequences :dotdot |
