[CRIU] [PATCH 5/7] make: do not rm version header in criu make

[Dmitry Safonov]

It's generated and cleaned in the top Makefile.

Signed-off-by: Dmitry Safonov <dsafonov at virtuozzo.com>
---
 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.9.0