diff options
Diffstat (limited to 'Build/source/extra/epstopdf/Makefile')
-rw-r--r-- | Build/source/extra/epstopdf/Makefile | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/Build/source/extra/epstopdf/Makefile b/Build/source/extra/epstopdf/Makefile index 66895e60012..81adf697525 100644 --- a/Build/source/extra/epstopdf/Makefile +++ b/Build/source/extra/epstopdf/Makefile @@ -12,7 +12,7 @@ default: check check: check-help check-version \ check-help-r \ check-restricted-gscmd \ - check-filter check-write-error check-gscmd \ + check-filter check-filter-outfile check-write-error check-gscmd \ check-simple check-atend check-binary check-bin2 \ check-binhdr-lf check-binhdr-cr check-binhdr-crlf \ @@ -43,6 +43,15 @@ check-filter: cat test-simple.eps | $(e2p) --filter >test-filter.pdf pdfinfo test-filter.pdf | grep "Page size:" +check-filter-outfile: + rm -f test-filter.pdf + cat test-simple.eps | $(e2p) --filter --outfile=test-filter.pdf + pdfinfo test-filter.pdf | grep "Page size:" +# + rm -f test-filter.pdf + cat test-simple.eps | $(e2p) --outfile=test-filter.pdf --filter + pdfinfo test-filter.pdf | grep "Page size:" + check-write-error: -$(e2p) test-simple.eps --outfile=/dev/full |