aboutsummaryrefslogtreecommitdiffstats
path: root/scripts
diff options
context:
space:
mode:
Diffstat (limited to 'scripts')
-rwxr-xr-xscripts/build.sh5
1 files changed, 4 insertions, 1 deletions
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