provide CMDLINE_CFLAGS feature

This can be used for profiling etc.

diff --git a/Makefile b/Makefile
index c8e179f72d037e38dcaacd48cc7fa1528cbde0ff..f86d6ae8f1f2885f2bc8ecc53ab38cdaabab766f 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -1,4 +1,5 @@
 CFLAGS += -Wall -Wwrite-strings -Wstrict-prototypes -g -O2 -std=gnu99
+CFLAGS += $(CMDLINE_CFLAGS)
 CPPFLAGS += -DVERSION="\"`git-describe --tags --dirty=+`\""
 LC_CTYPE=C
 LDLIBS = -lpub -lglpk -lm