diff options
Diffstat (limited to 'font')
| -rwxr-xr-x | font/devpdf/tests/basic-fonts-present.sh | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/font/devpdf/tests/basic-fonts-present.sh b/font/devpdf/tests/basic-fonts-present.sh index 5b55ed5ef..b373dfc0f 100755 --- a/font/devpdf/tests/basic-fonts-present.sh +++ b/font/devpdf/tests/basic-fonts-present.sh @@ -23,6 +23,14 @@ # # We need all of them except SS and ZDR. +# Our configure script warns that gropdf will not be functional if gs +# (Ghostscript) is not available. +if ! command -v gs +then + echo "gs command not available; skipping test" >&2 + exit 77 # skip +fi + devps_fontsrcdir="${abs_top_srcdir:-..}"/font/devps devpdf_fontbuilddir="${abs_top_builddir:-.}"/font/devpdf |