chiark / gitweb /
provide CMDLINE_CFLAGS feature
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 9 Mar 2014 10:43:18 +0000 (10:43 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 9 Mar 2014 10:43:18 +0000 (10:43 +0000)
This can be used for profiling etc.

Makefile

index c8e179f..f86d6ae 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