From 1674f862fb6372da79c5f8c9ee9a38abc8293549 Mon Sep 17 00:00:00 2001 From: Palmer Dabbelt Date: Thu, 8 Jun 2017 13:20:12 -0700 Subject: [PATCH] Rename the Ubuntu release --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 4a2216fc1..8d23ad855 100644 --- a/Makefile +++ b/Makefile @@ -6,7 +6,7 @@ BINDIR := bin OBJDIR := obj SRCDIR := src -UBUNTU ?= x86_64-linux-gnu +UBUNTU ?= x86_64-linux-ubuntu14 WIN32 ?= i686-w64-mingw32 WIN64 ?= x86_64-w64-mingw32