From 0383e5238319118ec33cad17d18164b99babb756 Mon Sep 17 00:00:00 2001 From: Thomas Bernard Date: Wed, 27 Feb 2019 01:12:26 +0100 Subject: [PATCH] 3rdparty: default CC=gcc --- 3rdparty/Makefile | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/3rdparty/Makefile b/3rdparty/Makefile index e9d68092..554af4f3 100644 --- a/3rdparty/Makefile +++ b/3rdparty/Makefile @@ -135,6 +135,11 @@ GETURL = $(shell WGET=`which wget` ; if [ "$$?" = "0" ] && [ -x "$$WGET" ] ; \ then echo "$$WGET -nv" ; \ else echo 'curl -s -w "%{url_effective} downloaded to %{filename_effective} in %{time_total} seconds\\n" -R -O -L --max-time 120' ; fi ) +# default to gcc compiler +ifeq (default,$(origin CC)) + CC = gcc +endif + BUILD_CC := $(CC) STRIP = strip