ci: Don't remove dir

duckdb · Oct 19, 2024 · e05dcf8 · e05dcf8
1 parent 7c3021b
commit e05dcf8
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/vendor-one.sh b/vendor-one.sh
@@ -79,4 +79,6 @@ git add .
   git -C "$upstream_dir" log --first-parent --format="%s" ${base}..${commit} | tee /dev/stderr | sed -r 's%(#[0-9]+)%duckdb/duckdb\1%g'
 ) | git commit --file /dev/stdin
 
-rm -rf "$upstream_dir"
+if [ "$upstream_basedir" != ".git/duckdb" ]; then
+  rm -rf "$upstream_dir"
+fi