diff --git a/criu/Makefile b/criu/Makefile index 0380295a9..3486d19d9 100644 --- a/criu/Makefile +++ b/criu/Makefile @@ -192,6 +192,7 @@ subclean: # Clean the most, except generated c files clean: subclean $(Q) $(MAKE) $(call build-as,Makefile.syscalls,$(ARCH_DIR)) $@ + $(Q) $(MAKE) $(call build-as,Makefile,$(ARCH_DIR)) $@ $(Q) $(MAKE) $(call build-as,Makefile.library,pie) $@ $(Q) $(MAKE) $(call build-as,Makefile.crtools,.) $@ $(Q) $(MAKE) $(build)=pie/piegen $@ @@ -202,6 +203,7 @@ clean: subclean # Delete all generated files mrproper: subclean $(Q) $(MAKE) $(call build-as,Makefile.syscalls,$(ARCH_DIR)) $@ + $(Q) $(MAKE) $(call build-as,Makefile,$(ARCH_DIR)) $@ $(Q) $(MAKE) $(call build-as,Makefile.library,pie) $@ $(Q) $(MAKE) $(call build-as,Makefile.crtools,.) $@ $(Q) $(MAKE) $(build)=pie/piegen $@