diff options
Diffstat (limited to 'Build/source/extra/epstopdf/Makefile')
| -rw-r--r-- | Build/source/extra/epstopdf/Makefile | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Build/source/extra/epstopdf/Makefile b/Build/source/extra/epstopdf/Makefile index a8f00f62dd7..48630a6e575 100644 --- a/Build/source/extra/epstopdf/Makefile +++ b/Build/source/extra/epstopdf/Makefile @@ -13,6 +13,7 @@ check: check-help check-version \ check-help-r \ check-nogs \ check-restricted-gscmd \ + check-gsopt \ 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 \ @@ -64,6 +65,10 @@ check-write-error: check-gscmd: -$(e2p) --gscmd=true test-simple.eps +check-gsopt: + -$(e2p) --gscmd=echo --gsopt=foo --gsopt=bar test-simple.eps + -$(e2p) --restricted --gsopt=bar test-simple.eps + check-simple: $(MAKE) file=test-simple check1 |