git.iko.soy/Idris-dev
on master help sign in
Don't set CC if it has already been set

Fixes issue #1146.

commitfd586f0d69d13d4a4192f80d5cdbe854d4887aad authorNiklas Larsson <niklas@mm.st> dateThu 1 May 2014, 13:42 (12 years ago) parentf9827ac
1 file changed+1−1
compare with master
unifiedsplit
config.mk+1−1
config.mk+1−1
@@ -1,4 +1,4 @@
1−CC :=cc
1+CC ?=cc
22CABAL :=cabal
33CFLAGS :=-O2 -Wall $(CFLAGS)
44#CABALFLAGS :=