From 0e62d67fd55692345b657f53758ebb3bb3195b17 Mon Sep 17 00:00:00 2001
From: Slava Yurin <YurinVV@ya.ru>
Date: Tue, 18 Nov 2014 20:44:40 +0600
Subject: Make env.mk delete on distclean

Because env.mk creates a considerable time, then delete it less often.
---
 plugins/c_src.mk | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/plugins/c_src.mk b/plugins/c_src.mk
index 0aee88c..0b4064a 100644
--- a/plugins/c_src.mk
+++ b/plugins/c_src.mk
@@ -1,7 +1,7 @@
 # Copyright (c) 2014, Loïc Hoguin <essen@ninenines.eu>
 # This file is part of erlang.mk and subject to the terms of the ISC License.
 
-.PHONY: clean-c_src
+.PHONY: clean-c_src distclean-c_src-env
 # todo
 
 # Configuration.
@@ -69,7 +69,12 @@ $(C_SRC_ENV):
 clean:: clean-c_src
 
 clean-c_src:
-	$(gen_verbose) rm -f $(C_SRC_ENV) $(C_SRC_OUTPUT)
+	$(gen_verbose) rm -f $(C_SRC_OUTPUT)
+
+distclean:: distclean-c_src-env
+
+distclean-c_src-env:
+	$(gen_verbose) rm -f $(C_SRC_ENV)
 
 -include $(C_SRC_ENV)
 endif
-- 
cgit v1.2.3