diff options
| author | Eli Zaretskii <eliz@gnu.org> | 2015-04-08 18:08:56 +0300 |
|---|---|---|
| committer | Eli Zaretskii <eliz@gnu.org> | 2015-04-08 18:08:56 +0300 |
| commit | d6fecb7fa6188d819c3bc24841cebcd58082a52d (patch) | |
| tree | c51a1007293fb663d723917e991d1b37f38bcff8 /pc | |
| parent | 23393597f023f3824b56355383436ab1e52febef (diff) | |
| download | egawk-d6fecb7fa6188d819c3bc24841cebcd58082a52d.tar.gz egawk-d6fecb7fa6188d819c3bc24841cebcd58082a52d.tar.bz2 egawk-d6fecb7fa6188d819c3bc24841cebcd58082a52d.zip | |
Allow to redirect profile to stdout more portably.
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:: |