From 5bf0b00fbc2b19303d49e43293b1b569afbbb079 Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Sat, 4 Mar 2023 19:17:05 +0000 Subject: [PATCH] Fixed string comparision for /bin/sh. --- .woodpecker/build.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.woodpecker/build.yml b/.woodpecker/build.yml index 2c274ca..d182464 100644 --- a/.woodpecker/build.yml +++ b/.woodpecker/build.yml @@ -11,7 +11,7 @@ pipeline: - mkdir -p $ISABELLE_HOME_USER/etc - echo "ISABELLE_PDFLATEX=\"$LATEX --file-line-error\"" >> $ISABELLE_HOME_USER/etc/settings - isabelle build -x HOL-Proofs -x Isabelle_DOF-Proofs -D . -o browser_info - - if [ "$LATEX" == "lualatex" ]; then isabelle build -o 'timeout_scale=2' -D . -o browser_info; else echo "Skipping Isabelle_DOF-Proofs for pdflatex build."; fi + - if [ "$LATEX" = "lualatex" ]; then isabelle build -o 'timeout_scale=2' -D . -o browser_info; else echo "Skipping Isabelle_DOF-Proofs for pdflatex build."; fi - isabelle components -u . - isabelle dof_mkroot -q DOF_test - isabelle build -D DOF_test