Be more verbose

j-woz · j-woz · commit d4d0102c11df · 2025-06-24T13:13:07.000-05:00
diff --git a/dev/jenkins/install-python.sh b/dev/jenkins/install-python.sh
@@ -10,8 +10,12 @@ renice --priority 19 --pid $$
 MINICONDA=Miniconda3-py39_23.3.1-0-Linux-x86_64.sh
 
 # Clean up prior runs
-rm -fv $MINICONDA
-rm -fr $WORKSPACE/sfw/Miniconda
+(
+  set -x
+  rm -fv $MINICONDA
+  rm -fv $WORKSPACE/sfw/Miniconda/LICENSE.txt
+  rm -fr $WORKSPACE/sfw/Miniconda
+)
 
 (
   # Download and install Miniconda:
