From 5697a8de631b29f5b7b34a876be06d6ace0921bc Mon Sep 17 00:00:00 2001 From: NHOrus Date: Thu, 29 Jun 2017 20:23:39 +0300 Subject: [PATCH] Separate debugging of linenoise --- Makefile | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 9a5d05f..b8582d5 100644 --- a/Makefile +++ b/Makefile @@ -67,6 +67,9 @@ dungeon.c dungeon.h: make_dungeon.py adventure.yaml python3 make_dungeon.py linenoise.o: linenoise/linenoise.h + $(CC) -c linenoise/linenoise.c + +linenoise-dbg: linenoise/linenoise.h $(CC) $(CCFLAGS) -c linenoise/linenoise.c clean: @@ -147,4 +150,4 @@ debug: CCFLAGS += -O0 --coverage -ggdb debug: linty debug: cheat - +debug-ln: linenoise-dbg debug -- 2.31.1