From 41a6c228229cb94ab324695eaf370c9a3818e030 Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Wed, 29 Jun 2022 14:51:04 +0100
Subject: [PATCH] Optimised quick&dirty setup.

---
 .woodpecker/mk_release | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.woodpecker/mk_release b/.woodpecker/mk_release
index 79cfaee1..078106f6 100755
--- a/.woodpecker/mk_release
+++ b/.woodpecker/mk_release
@@ -170,7 +170,8 @@ clone_repo
 ISADOF_MAIN_DIR=`pwd`
 
 if [ "$DIRTY" = "true" ]; then
-   echo "Running in Quick and Dirty mode!"
+    echo "Running in Quick and Dirty mode!"
+    $ISABELLE components -u $ISADOF_MAIN_DIR
 else
     $ISABELLE components -x $ISADOF_MAIN_DIR
     $ISABELLE components -u $ISADOF_WORK_DIR