diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/firmware/hvmloader/Makefile | 2 | ||||
| -rw-r--r-- | tools/firmware/vmxassist/Makefile | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/tools/firmware/hvmloader/Makefile b/tools/firmware/hvmloader/Makefile index c38832fbc5..7d76d8002d 100644 --- a/tools/firmware/hvmloader/Makefile +++ b/tools/firmware/hvmloader/Makefile @@ -21,7 +21,7 @@ # External CFLAGS can do more harm than good. CFLAGS := -XEN_TARGET_ARCH = x86_32 +override XEN_TARGET_ARCH = x86_32 XEN_ROOT = ../../.. include $(XEN_ROOT)/Config.mk diff --git a/tools/firmware/vmxassist/Makefile b/tools/firmware/vmxassist/Makefile index d34d107373..08fea45781 100644 --- a/tools/firmware/vmxassist/Makefile +++ b/tools/firmware/vmxassist/Makefile @@ -21,7 +21,7 @@ # External CFLAGS can do more harm than good. CFLAGS := -XEN_TARGET_ARCH = x86_32 +override XEN_TARGET_ARCH = x86_32 XEN_ROOT = ../../.. include $(XEN_ROOT)/Config.mk |