summaryrefslogtreecommitdiff
path: root/Build/extra/epstopdf/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'Build/extra/epstopdf/Makefile')
-rw-r--r--Build/extra/epstopdf/Makefile7
1 files changed, 7 insertions, 0 deletions
diff --git a/Build/extra/epstopdf/Makefile b/Build/extra/epstopdf/Makefile
index ef62a30d9ce..c5f618bce0f 100644
--- a/Build/extra/epstopdf/Makefile
+++ b/Build/extra/epstopdf/Makefile
@@ -22,6 +22,7 @@ check: check-help check-version check-help-r check-usage \
check-gscmd check-gsopt check-gsopts \
check-nogs \
check-output \
+ check-pdfversion \
check-percent \
check-restricted-device \
check-restricted-gscmd \
@@ -132,6 +133,12 @@ check-binhdr-cr:
check-binhdr-crlf:
$(MAKE) file=test-binhdr-crlf check1
+check-pdfversion:
+ $(e2p) test-simple.eps
+ pdfinfo test-simple.pdf | grep '^PDF version.*1\.5$$'
+ $(e2p) --gsopt=-dCompatibilityLevel=1.4 test-simple.eps
+ pdfinfo test-simple.pdf | grep '^PDF version.*1\.4$$'
+
check-percent:
$(MAKE) file=test-per%cent check1
test -s test-per%cent.pdf