From 0a304c57bbfad64d7ad5ac3c124b6d43fd12b327 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sun, 9 Mar 2014 10:43:18 +0000
Subject: [PATCH 1/1] provide CMDLINE_CFLAGS feature

This can be used for profiling etc.
---
 Makefile | 1 +
 1 file changed, 1 insertion(+)

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
-- 
2.30.2