From 0fff5038fffc21ab7e18d48a003500a402c444c7 Mon Sep 17 00:00:00 2001 From: Rusty Russell Date: Thu, 14 Jun 2018 11:44:12 +0930 Subject: [PATCH] Makefile: we don't need to define DEVELOPER explicitly. config.h does this. Signed-off-by: Rusty Russell --- Makefile | 4 ++-- lightningd/memdump.c | 1 + 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile index 63113a17b..3b95ac3f4 100644 --- a/Makefile +++ b/Makefile @@ -17,9 +17,9 @@ VG_TEST_ARGS = --track-origins=yes --leak-check=full --show-reachable=yes --erro endif ifeq ($(DEVELOPER),1) -DEV_CFLAGS=-DDEVELOPER=1 -DCCAN_TAL_DEBUG=1 -DCCAN_TAKE_DEBUG=1 +DEV_CFLAGS=-DCCAN_TAL_DEBUG=1 -DCCAN_TAKE_DEBUG=1 else -DEV_CFLAGS=-DDEVELOPER=0 +DEV_CFLAGS= endif ifeq ($(COVERAGE),1) diff --git a/lightningd/memdump.c b/lightningd/memdump.c index e82e31af4..e886edb83 100644 --- a/lightningd/memdump.c +++ b/lightningd/memdump.c @@ -1,4 +1,5 @@ /* Only possible if we're in developer mode. */ +#include "config.h" #if DEVELOPER #include #include