diff options
Diffstat (limited to 'scripts/build.sh')
| -rwxr-xr-x | scripts/build.sh | 5 |
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 |
