diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/util/ChangeLog | 2 | ||||
| -rw-r--r-- | src/util/depfix.sed | 2 |
2 files changed, 4 insertions, 0 deletions
diff --git a/src/util/ChangeLog b/src/util/ChangeLog index 754851b01f..b3b9e0a1f3 100644 --- a/src/util/ChangeLog +++ b/src/util/ChangeLog @@ -2,6 +2,8 @@ * depfix.sed: Temporarily add trailing whitespace to make substitutions more regular. Split lines before writing out. + Drop "$(srcdir)/" prefix for files in current directory, in favor + of using VPATH. 2001-06-15 Ken Raeburn <raeburn@mit.edu> diff --git a/src/util/depfix.sed b/src/util/depfix.sed index 533f5ce683..d90033df74 100644 --- a/src/util/depfix.sed +++ b/src/util/depfix.sed @@ -28,6 +28,8 @@ s/ */ /g s;/usr/include/[^ ]* ;;g s;/usr/lib/[^ ]* ;;g s;/mit/cygnus[^ ]* ;;g +# rely on VPATH for $(srcdir) files +s;\$(srcdir)/\([^ /]* \);\1;g # now delete trailing whitespace s; *$;;g |