diff -r 3da1f7b6847f -r a24aa388f02f Makefile --- a/Makefile Tue Jan 01 19:22:56 2013 +0100 +++ b/Makefile Wed Jan 02 16:03:50 2013 +0100 @@ -39,6 +39,10 @@ rm -f -R build rm -f -R work -install: +cleanbuild: + @echo "clean build" + rm -f -R build + +install: all cd make; $(MAKE) -f install.mk install