Fix in makefile

benedikt-schesch · Jan 20, 2025 · 1d00845 · 1d00845
1 parent 126de8f
commit 1d00845
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/Makefile b/Makefile
@@ -159,6 +159,8 @@ gradle-assemble:
 clean-workdir:
 	if [ -d .workdir ]; then chmod -R u+w .workdir; fi
 	rm -rf .workdir
+	if [ -d .workdir-small-test ]; then chmod -R u+w .workdir-small-test; fi
+	rm -rf .workdir-small-test
 
 clean-local:
 	${MAKE} clean-workdir