Rename the Ubuntu release

This commit is contained in:
Palmer Dabbelt 2017-06-08 13:20:12 -07:00
parent f0d7137480
commit 1674f862fb
1 changed files with 1 additions and 1 deletions

View File

@ -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