From 0d86772994166c36ee6c3c3e2d63ab548821b1b2 Mon Sep 17 00:00:00 2001 From: Palmer Dabbelt Date: Thu, 8 Jun 2017 13:39:29 -0700 Subject: [PATCH] Make Ubuntu build again --- Makefile | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/Makefile b/Makefile index 8eddd62c6..babdd5dcb 100644 --- a/Makefile +++ b/Makefile @@ -11,10 +11,14 @@ REDHAT ?= x86_64-linux-centos6 WIN32 ?= i686-w64-mingw32 WIN64 ?= x86_64-w64-mingw32 +-include /etc/lsb-release ifneq ($(wildcard /etc/redhat-release),) NATIVE ?= $(REDHAT) AUTORECONF ?= autoreconf268 all: redhat +else ifeq ($(DISTRIB_ID),Ubuntu) +NATIVE ?= $(REDHAT) +all: ubuntu else $(error Unknown host) endif