diff --git a/xen/Makefile b/xen/Makefile index 18e651ad89..a349fd43de 100644 --- a/xen/Makefile +++ b/xen/Makefile @@ -13,12 +13,8 @@ default: build .PHONY: dist dist: install -.PHONY: debug -debug: - objdump -D -S $(TARGET)-syms > $(TARGET).s - .PHONY: build install clean cscope TAGS tags -build install clean cscope TAGS tags:: +build install debug clean cscope TAGS tags:: make -f Rules.mk _$@ .PHONY: _build @@ -38,6 +34,10 @@ _install: $(TARGET).gz $(INSTALL_DATA) include/public/io/*.h $(DESTDIR)/usr/include/xen/io $(INSTALL_DATA) include/public/COPYING $(DESTDIR)/usr/include/xen +.PHONY: _debug +_debug: + objdump -D -S $(TARGET)-syms > $(TARGET).s + .PHONY: _clean _clean: delete-unfresh-files $(MAKE) -C tools clean