Merge branch 'master' of https://github.com/AbsInt/CompCert

Author: xavierleroy

Makefile.extr

@@ -158,10 +158,6 @@ clean:
 	rm -f $(GENERATED)
 	for d in $(ALLDIRS); do rm -f $$d/*.cm[iox] $$d/*.o; done
 
-cleansource:
-	rm -f $(EXECUTABLES)
-	for d in $(ALLDIRS); do rm -f $$d/*.cm[iox] $$d/*.o; done
-
 # Generation of .depend.extr
 
 depend: $(GENERATED)