Possible override of project cleaning for faster builds

[aquarium] / make-dist.sh

diff --git a/make-dist.sh b/make-dist.sh
index 1392fe8..4927e8d 100755 (executable)
--- a/make-dist.sh
+++ b/make-dist.sh
@@ -32,7 +32,10 @@ checkdist() {
 }
 
 clean() {
-    mvn clean || fail "cleaning compilation artifacts"
+    local p="$1"
+    [ "$p"="dev" -o "$p"="fast" -o "$p"="noclean" ] || {
+        mvn clean || fail "cleaning compilation artifacts"
+    }
 }
 
 collectdeps() {