diff options
Diffstat (limited to 'plugins')
-rw-r--r-- | plugins/c_src.mk | 9 |
1 files 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 <[email protected]> # 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 |