From d4749551da452297d2dd1b7fa3fd038ba2a51c7c Mon Sep 17 00:00:00 2001 From: Mark Charlebois Date: Wed, 27 May 2015 19:30:05 -0700 Subject: [PATCH] git_version.* not removed on clean The Build/git_version.* files need to be removed on make clean. Signed-off-by: Mark Charlebois --- Makefile | 1 + 1 file changed, 1 insertion(+) diff --git a/Makefile b/Makefile index 20badf8806..8fc89f48bf 100644 --- a/Makefile +++ b/Makefile @@ -317,6 +317,7 @@ check_format: clean: @echo > /dev/null $(Q) $(RMDIR) $(BUILD_DIR)*.build + $(Q) $(REMOVE) $(BUILD_DIR)git_version.* $(Q) $(REMOVE) $(IMAGE_DIR)*.px4 .PHONY: distclean