From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sun, 9 Mar 2014 10:43:18 +0000 (+0000)
Subject: provide CMDLINE_CFLAGS feature
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=0a304c57bbfad64d7ad5ac3c124b6d43fd12b327;p=matchsticks-search.git

provide CMDLINE_CFLAGS feature

This can be used for profiling etc.
---

diff --git a/Makefile b/Makefile
index c8e179f..f86d6ae 100644
--- 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