diff options
Diffstat (limited to 'test/Makefile.in')
| -rw-r--r-- | test/Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/Makefile.in b/test/Makefile.in index 284b6997..d42b6ecd 100644 --- a/test/Makefile.in +++ b/test/Makefile.in @@ -2469,7 +2469,7 @@ profile3: profile5: @echo $@ - @$(AWK) --pretty=_$@ -f "$(srcdir)"/$@.awk 2> _$@.err + @AWKPATH="$(srcdir)" $(AWK) --pretty=_$@ -f $@.awk 2> _$@.err @cat _$@.err >> _$@ ; rm -f _$@.err @-$(CMP) "$(srcdir)"/$@.ok _$@ && rm -f _$@ |