From ceedae545bf1964f12431244c9738278133f7c54 Mon Sep 17 00:00:00 2001
From: Benedikt Peetz <benedikt.peetz@b-peetz.de>
Date: Tue, 18 Aug 2026 13:14:36 +0200
Subject: scripts/build.sh: Default to using the dirty tree

---
 scripts/build.sh | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/scripts/build.sh b/scripts/build.sh
index df55ac5..f1ff620 100755
--- a/scripts/build.sh
+++ b/scripts/build.sh
@@ -3,13 +3,16 @@
 set -eu
 
 wrong_arg=false
-use_dirty=false
+use_dirty=true
 
 for arg in "$@"; do
     case "$arg" in
     --dirty)
         use_dirty=true
         ;;
+    --clean)
+        use_dirty=false
+        ;;
     *)
         echo "arg '$arg' is not known."
         wrong_arg=true
-- 
cgit v1.3.1