diff --git a/src/Makefile.in b/src/Makefile.in index a95b22c1e..c463ee019 100644 --- a/src/Makefile.in +++ b/src/Makefile.in @@ -10,7 +10,7 @@ manext=1 # @SET_MAKE@ -CC = @ECL_CC@ +CC ?= @ECL_CC@ LIBS = @LIBS@ FASL_LIBS = @FASL_LIBS@ CORE_LIBS = @CORE_LIBS@