diff options
| -rw-r--r-- | pc/Makefile.tst | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pc/Makefile.tst b/pc/Makefile.tst index 1bffa78b..e3fbc53c 100644 --- a/pc/Makefile.tst +++ b/pc/Makefile.tst @@ -1179,8 +1179,8 @@ ignrcas3:: arrdbg: @echo $@ @$(AWK) -v "okfile=./$@.ok" -v "mpfr_okfile=./$@-mpfr.ok" -f "$(srcdir)"/$@.awk | grep array_f >_$@ || echo EXIT CODE: $$? >> _$@ - @-if test -z "$$AWKFLAGS" ; then $(CMP) "$(srcdir)"/$@.ok _$@ && rm -f _$@ ; else \ - $(CMP) "$(srcdir)"/$@-mpfr.ok _$@ && rm -f _$@ ; \ + @-if test -z "$$AWKFLAGS" ; then $(CMP) ./$@.ok _$@ && rm -f _$@ ./$@.ok ./$@-mpfr.ok ; else \ + $(CMP) ./$@-mpfr.ok _$@ && rm -f _$@ ./$@.ok ./$@-mpfr.ok ; \ fi sourcesplit: |