diff options
Diffstat (limited to 'pc')
| -rw-r--r-- | pc/ChangeLog | 5 | ||||
| -rw-r--r-- | pc/Makefile.tst | 2 |
2 files changed, 6 insertions, 1 deletions
diff --git a/pc/ChangeLog b/pc/ChangeLog index 2a241b19..600c49a1 100644 --- a/pc/ChangeLog +++ b/pc/ChangeLog @@ -1,3 +1,8 @@ +2015-04-08 Eli Zaretskii <eliz@gnu.org> + + * Makefile.tst (mpfrmemok1): Use -p- instead of -p/dev/stdout, for + more portability. + 2015-04-07 Arnold D. Robbins <arnold@skeeve.com> * Makefile.tst: Sync with mainline. diff --git a/pc/Makefile.tst b/pc/Makefile.tst index 4fb68df9..77b9ecf6 100644 --- a/pc/Makefile.tst +++ b/pc/Makefile.tst @@ -979,7 +979,7 @@ mpfrrem: mpfrmemok1: @echo $@ - @$(AWK) -p/dev/stdout -M -f "$(srcdir)"/$@.awk 2>&1 | sed 1d > _$@ + @$(AWK) -p- -M -f "$(srcdir)"/$@.awk 2>&1 | sed 1d > _$@ @-$(CMP) "$(srcdir)"/$@.ok _$@ && rm -f _$@ jarebug:: |