We should clean later; after checking if this is a failed build :D

diff --git a/tools/make-batch b/tools/make-batch
index 3489eceba6e89f317bac628a8f52717387703eb7..6d0508c2471fd0afa9dec4bb14f2c10b936c47ad 100644 (file)
--- a/tools/make-batch
+++ b/tools/make-batch
@@ -31,8 +31,6 @@ batch_start() {
                exit 1
        fi
 
-       [ "$1" = "--clean" ] && $0 clean
-
        git_pull --batch
 
        if [ -e "$FAILED" ]; then
@@ -41,6 +39,8 @@ batch_start() {
                exit 1
        fi
 
+       [ "$1" = "--clean" ] && $0 clean
+
        screen -dmS ipfire $0 batch _run
 }