diff options
author | Tycho Andersen <tycho.andersen@canonical.com> | 2016-03-11 03:00:00 +0300 |
---|---|---|
committer | Pavel Emelyanov <xemul@virtuozzo.com> | 2016-03-16 16:16:08 +0300 |
commit | 70afb3bde264c24fa79004d21a0d2941850db59a (patch) | |
tree | dfdeef52ec015700baeb7e33e83d09f3847cd59a /lib/Makefile | |
parent | 3d0fcc07159c48e25955fb46a4df229ef146c77e (diff) |
build: clean up various other bits
.gitid, and some of the build directories from setup.py need to be cleaned
on 'clean'.
Signed-off-by: Tycho Andersen <tycho.andersen@canonical.com>
Signed-off-by: Pavel Emelyanov <xemul@virtuozzo.com>
Diffstat (limited to 'lib/Makefile')
-rw-r--r-- | lib/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/Makefile b/lib/Makefile index 84dca335a..f372a52bf 100644 --- a/lib/Makefile +++ b/lib/Makefile @@ -36,6 +36,7 @@ clean: $(Q) $(RM) c/criu.pc $(call msg-clean, lib-py) $(Q) $(MAKE) -C py $@ + $(Q) $(RM) -r build usr .PHONY: clean install: lib-c lib-py ../crit/crit c/criu.pc.in |