commit 74da05cbabf509e72b9112d1ca50849b41ec7913 parent 09ca167641f362dac24eca6f30df1aa5a42ffb0c Author: Vincent Forest <vincent.forest@meso-star.com> Date: Mon, 30 Oct 2023 12:35:35 +0100 Delete ecrad_opt_prop.txt when invoking make distclean Diffstat:
| M | Makefile | | | 1 | + |
1 file changed, 1 insertion(+), 0 deletions(-)
diff --git a/Makefile b/Makefile @@ -103,6 +103,7 @@ clean: clean_test distclean: clean rm -f $(DEP) $(TEST_DEP) + rm -f etc/ecrad_opt_prop.txt lint: shellcheck -o all make.sh