diff options
Diffstat (limited to 'tools/python/Makefile')
| -rw-r--r-- | tools/python/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/python/Makefile b/tools/python/Makefile index d2cbf70836..9be11225fa 100644 --- a/tools/python/Makefile +++ b/tools/python/Makefile @@ -34,7 +34,7 @@ test: .PHONY: clean clean: rm -f $(XENPATH) - rm -rf *.pyc *.pyo *.o *.a *~ xen/util/auxbin.pyc + rm -rf build/ *.pyc *.pyo *.o *.a *~ xen/util/auxbin.pyc rm -f xen/lowlevel/xl/_pyxl_types.h rm -f xen/lowlevel/xl/_pyxl_types.c rm -f $(DEPS) |