From f9e5a3b9fc407fd3d1076ab36364cfce8d0dce69 Mon Sep 17 00:00:00 2001
From: Palmer Dabbelt <palmer@dabbelt.com>
Date: Thu, 8 Jun 2017 14:50:06 -0700
Subject: [PATCH] Build the 64-bit Windows binaries on Ubuntu

---
 Makefile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index babdd5dcb..0c9e88ae5 100644
--- a/Makefile
+++ b/Makefile
@@ -17,8 +17,9 @@ NATIVE ?= $(REDHAT)
 AUTORECONF ?= autoreconf268
 all: redhat
 else ifeq ($(DISTRIB_ID),Ubuntu)
-NATIVE ?= $(REDHAT)
+NATIVE ?= $(UBUNTU)
 all: ubuntu
+all: win64
 else
 $(error Unknown host)
 endif