diff options
author | Vincenzo Mantova <1962985+xworld21@users.noreply.github.com> | 2024-03-27 21:15:05 +0000 |
---|---|---|
committer | Vincenzo Mantova <1962985+xworld21@users.noreply.github.com> | 2024-03-29 13:04:00 +0000 |
commit | 87216540ef8175515676c0d4dd5adba3ab46273e (patch) | |
tree | bc13836ba7e631f37bb30a0798e5b2c093293da9 /pkgs/test/texlive | |
parent | 7ab4733846d4ecc6cc573ed466660788bb331525 (diff) |
tests.texlive.context: check that the PDF has been created
Diffstat (limited to 'pkgs/test/texlive')
-rw-r--r-- | pkgs/test/texlive/default.nix | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/pkgs/test/texlive/default.nix b/pkgs/test/texlive/default.nix index 17151f81cac37..e363b5776e890 100644 --- a/pkgs/test/texlive/default.nix +++ b/pkgs/test/texlive/default.nix @@ -81,6 +81,14 @@ rec { name = "texlive-test-context"; format = "context"; texLive = texliveConTeXt; + # check that the PDF has been created: we have hit cases of context + # failing with exit status 0 due to a misconfigured texlive + postTest = '' + if [[ ! -f "$name".pdf ]] ; then + echo "ConTeXt test failed: file '$name.pdf' not found" + exit 1 + fi + ''; text = '' \starttext \startsection[title={ConTeXt test document}] |