diff options
Diffstat (limited to 'tools/pygrub/Makefile')
| -rw-r--r-- | tools/pygrub/Makefile | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/tools/pygrub/Makefile b/tools/pygrub/Makefile index 197b89a1a8..75bf46bc83 100644 --- a/tools/pygrub/Makefile +++ b/tools/pygrub/Makefile @@ -2,10 +2,13 @@ XEN_ROOT = ../.. include $(XEN_ROOT)/tools/Rules.mk +.PHONY: all all: build +.PHONY: build build: CFLAGS="$(CFLAGS)" python setup.py build +.PHONY: install ifndef XEN_PYTHON_NATIVE_INSTALL install: all CFLAGS="$(CFLAGS)" python setup.py install --home="$(DESTDIR)/usr" @@ -14,5 +17,6 @@ install: all CFLAGS="$(CFLAGS)" python setup.py install --root="$(DESTDIR)" endif +.PHONY: clean clean: rm -rf build tmp *.pyc *.pyo *.o *.a *~ a.out |