utils/lxr: copy hot data to cold!

Signed-off-by: Théo Lebrun <[email protected]>
bootlin · Jan 29, 2025 · 9103300 · 9103300
1 parent 9aa99cd
commit 9103300
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/utils/lxr b/utils/lxr
@@ -22,8 +22,9 @@ update_index()
         	exit 1
         fi
 
-        # $cold_data cannot be "", but we give it a default anyway!
-        rm -rf "${cold_data:-713635333a}/*"
+        test -z "$cold_data" && exit 1 # Last check before "rm -rf /*"!
+        rm -rf "$cold_data/*"
+        cp -r "$hot_data/*" "$cold_data/"
 
         # Not using `docker run --rm` to avoid losing logs.
         docker rm lxr-indexing || true