Add --clean option if build root is not ready

Change-Id: Ibf2347a1f7ddb8d6f713014f17428ad1e93fe8a1

diff --git a/depanneur b/depanneur
index eb7e94ff3f337cc1f1c185732c9d33a13fa49e55..fc86d4790de7b340dd88adc40d6a9e2a551983d5 100755 (executable)
--- a/depanneur
+++ b/depanneur
@@ -740,6 +740,7 @@ sub build_package {
         exit(0);
     } else {
         push @args, "--root $scratch";
+        push @args, "--clean" if (-e "$scratch/not-ready");
     }
     
     $cmd = join(" ", @args);