Don't overwrite CFLAGS if already set

JuliaPolyhedra · Apr 21, 2021 · ab1a531 · ab1a531
1 parent 6234b24
commit ab1a531
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/makefile b/makefile
@@ -35,7 +35,7 @@ default: lrs
 INCLUDEDIR = /usr/local/include
 LIBDIR     = /usr/local/lib
 
-CFLAGS     = -O3 -Wall 
+CFLAGS     ?= -O3 -Wall
 #CFLAGS     = -g -Wall 
 
 #use this if you want only output file contain data between begin/end lines