Browse Source

Do not remove makefile on make clean

Samuel Thibault 12 years ago
parent
commit
d89cfc867d
1 changed files with 2 additions and 0 deletions
  1. 2 0
      super-configure

+ 2 - 0
super-configure

@@ -73,6 +73,8 @@ all:
 clean:
 	\$(MAKE) -C build_host clean
 	\$(MAKE) -C build_mic clean
+
+distclean: clean
 	rm -f Makefile
 
 check: