Makefile: make clean should not remove sources

NatronGitHub · Jul 5, 2019 · 676da60 · 676da60
1 parent 3a3429e
commit 676da60
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/Makefile b/Makefile
@@ -25,6 +25,8 @@ clean:
 	  echo "(cd $$i && $(MAKE) $@)"; \
 	  (cd $$i && $(MAKE) $@); \
 	done
+
+distclean:
 	-rm $(GMICSRC) $(GMICSOURCES) $(GITSOURCES)
 
 install: