Make clean target more robust

Conflicts: .gitignore
2025-02-19 08:57:28 +00:00 · 2013-02-03 12:27:30 +02:00 · 2013-02-03 12:27:30 +02:00 · 18cb5ba379
commit 18cb5ba379
parent 33d4f008f4
2 changed files with 6 additions and 0 deletions
--- a/.gitignore
+++ b/.gitignore
@ -7,3 +7,4 @@ build
 bin
 /lib
 /distrib
+*.pdb
--- a/5
+++ b/5
@ -1248,6 +1248,11 @@ javadoc:

 .PHONY: clean
 clean:
+	@echo "removing $(build)"
+	rm -rf $(build)
+
+.PHONY: clean-all
+clean-all:
 	@echo "removing build"
 	rm -rf build