From d1f5a5297ade549dc34a9b3e8937a969027cd345 Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Thu, 20 Jun 2019 09:45:18 +0100 Subject: [PATCH] Removed obsolete -s options from isabelle build. --- .ci/isabelle4isadof/Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.ci/isabelle4isadof/Dockerfile b/.ci/isabelle4isadof/Dockerfile index 3ae2262..87e038c 100644 --- a/.ci/isabelle4isadof/Dockerfile +++ b/.ci/isabelle4isadof/Dockerfile @@ -28,5 +28,5 @@ FROM logicalhacking:isabelle2019 WORKDIR /home/isabelle COPY thy_output.ML /home/isabelle/Isabelle/src/Pure/Thy -RUN Isabelle/bin/isabelle build -s -b Functional-Automata +RUN Isabelle/bin/isabelle build -b Functional-Automata