summaryrefslogtreecommitdiff
path: root/Build/source/extra/epstopdf/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/extra/epstopdf/Makefile')
-rw-r--r--Build/source/extra/epstopdf/Makefile6
1 files changed, 6 insertions, 0 deletions
diff --git a/Build/source/extra/epstopdf/Makefile b/Build/source/extra/epstopdf/Makefile
index ba0f6624978..cec3602cdd3 100644
--- a/Build/source/extra/epstopdf/Makefile
+++ b/Build/source/extra/epstopdf/Makefile
@@ -11,6 +11,7 @@ default: check
# making sure we don't crash.
check: check-help check-version \
check-help-r \
+ check-nogs \
check-restricted-gscmd \
check-filter check-filter-outfile check-write-error check-gscmd \
check-simple check-atend check-binary check-bin2 \
@@ -26,6 +27,11 @@ check-version:
check-help-r: $(re2p_script)
$(re2p_script) --help | grep restricted # should have default=true
+check-nogs:
+ $(e2p) --no-gs test-simple.eps >test-simple.out
+# the two files should be different:
+ cmp -s test-simple.eps test-simple.out || exit 0
+
$(re2p_script):
ln -s epstopdf.pl $@