[CRIU] [PATCH 4/6] make: do not rm version header in criu make

Cyrill Gorcunov gorcunov at openvz.org
Mon Jul 18 12:22:46 PDT 2016


From: Dmitry Safonov <dsafonov at virtuozzo.com>

It's generated and cleaned in the top Makefile.

Signed-off-by: Dmitry Safonov <dsafonov at virtuozzo.com>
Signed-off-by: Cyrill Gorcunov <gorcunov at openvz.org>
---
 criu/Makefile | 1 -
 1 file changed, 1 deletion(-)

diff --git a/criu/Makefile b/criu/Makefile
index 90a616a6de9a..1aeacbb401ec 100644
--- a/criu/Makefile
+++ b/criu/Makefile
@@ -114,7 +114,6 @@ mrproper: subclean
 	$(Q) $(MAKE) $(call build-as,Makefile.library,pie) $@
 	$(Q) $(MAKE) $(call build-as,Makefile.crtools,.) $@
 	$(Q) $(MAKE) $(build)=pie $@
-	$(Q) $(RM) $(VERSION_HEADER)
 	$(Q) $(RM) $(CONFIG_HEADER)
 .PHONY: mrproper
 
-- 
2.7.4



More information about the CRIU mailing list