Merge pull request #38 from opencompl/christos/makefile-venv-clean

Add removal of scripts venv
opencompl · Oct 23, 2023 · 77002aa · 77002aa
2 parents f71adcc + d309bd6
commit 77002aa
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/scripts/run.sh b/scripts/run.sh
@@ -71,6 +71,7 @@ KERNEL_DIRS=(
 
 if [[ 0 -eq ${SKIP_CLEAN} ]]; then
   make VENV_DIR=${VENV_DIR} -C ${XDSL_DIR} clean 
+  rm -rf ${SCRIPTS_DIR}/${VENV_DIR}
 
   for krnl in ${KERNEL_DIRS[@]}; do
     make -C ${KERNEL_ROOT}/${krnl} -j $(nproc) clean