build: delete package dir before redownloading it

guyush1 · Jan 15, 2025 · 0971bfc · 0971bfc
1 parent 7d4a19c
commit 0971bfc
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/src/compilation/download_packages.sh b/src/compilation/download_packages.sh
@@ -103,6 +103,10 @@ function extract_package() {
 
     popd > /dev/null
 
+    # Make sure output dir is empty, so we could move content into it.
+    # The directory might not exist, so we need to pass || true so that set -e won't fail us.
+    rm -rf "$output_dir" || true
+
     mv "$temp_dir/$package_dir" "$output_dir"
     if [[ $? -ne 0 ]]; then
         return 1