From bb419de1feaaab65bee338a7da8e1c18161289cc Mon Sep 17 00:00:00 2001
From: Ciro Santilli <ciro.santilli@gmail.com>
Date: Fri, 4 Aug 2017 07:45:13 +0100
Subject: [PATCH] Dont override CC for user make

---
 kernel_module/user/Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/kernel_module/user/Makefile b/kernel_module/user/Makefile
index 8fd4545..a949fc6 100644
--- a/kernel_module/user/Makefile
+++ b/kernel_module/user/Makefile
@@ -1,6 +1,6 @@
 .PHONY: all clean
 
-CCC ?= gcc -ggdb3 -O0 -std=c99 -Wall -Werror -Wextra
+CFLAGS_EXTRA ?= -ggdb3 -O0 -std=c99 -Wall -Werror -Wextra
 IN_EXT ?= .c
 OUT_EXT ?= .out
 
@@ -9,7 +9,7 @@ OUTS := $(addsuffix $(OUT_EXT), $(basename $(wildcard *$(IN_EXT))))
 all: $(OUTS)
 
 %$(OUT_EXT): %$(IN_EXT)
-	$(CCC) -o '$@' '$<'
+	$(CC) $(CFLAGS) $(CFLAGS_EXTRA) -o '$@' '$<'
 
 clean:
 	rm -f *'$(OUT_EXT)'