diff --git a/.gitignore b/.gitignore index 201518bb12..588446f90d 100644 --- a/.gitignore +++ b/.gitignore @@ -7,3 +7,4 @@ build bin /lib /distrib +*.pdb diff --git a/makefile b/makefile index 5877510956..6c846335fa 100755 --- a/makefile +++ b/makefile @@ -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