diff options
Diffstat (limited to 'xen/Makefile')
| -rw-r--r-- | xen/Makefile | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/xen/Makefile b/xen/Makefile index d593149b4f..0fb3db7376 100644 --- a/xen/Makefile +++ b/xen/Makefile @@ -22,7 +22,11 @@ dist: install .PHONY: build install uninstall clean distclean cscope TAGS tags MAP gtags build install uninstall debug clean distclean cscope TAGS tags MAP gtags:: +ifneq ($(XEN_TARGET_ARCH),x86_32) $(MAKE) -f Rules.mk _$@ +else + echo "*** Xen x86/32 target no longer supported!" +endif .PHONY: _build _build: $(TARGET).gz |