diff options
Diffstat (limited to 'test/Makefile.am')
| -rw-r--r-- | test/Makefile.am | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/test/Makefile.am b/test/Makefile.am index 1c14ea81..0d3788a1 100644 --- a/test/Makefile.am +++ b/test/Makefile.am @@ -1688,14 +1688,12 @@ profile3: profile4: @echo $@ - @$(AWK) --pretty-print=ap-$@.out -f "$(srcdir)"/$@.awk > /dev/null - @sed 1,2d < ap-$@.out > _$@; rm ap-$@.out + @$(AWK) --pretty-print=_$@ -f "$(srcdir)"/$@.awk > /dev/null @-$(CMP) "$(srcdir)"/$@.ok _$@ && rm -f _$@ profile5: @echo $@ - @$(AWK) --pretty-print=ap-$@.out -f "$(srcdir)"/$@.awk > /dev/null - @sed 1,2d < ap-$@.out > _$@; rm ap-$@.out + @$(AWK) --pretty-print=_$@ -f "$(srcdir)"/$@.awk > /dev/null @-$(CMP) "$(srcdir)"/$@.ok _$@ && rm -f _$@ posix2008sub: |