From 8db5806bec93bc45875b121fae3b405cb2365d0c Mon Sep 17 00:00:00 2001 From: Huntereb Date: Fri, 3 Jan 2020 11:48:33 -0500 Subject: [PATCH] fix makefile --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 683001a..bfc648d 100755 --- a/Makefile +++ b/Makefile @@ -167,7 +167,7 @@ all: $(BUILD) $(BUILD): @[ -d $@ ] || mkdir -p $@ #comment this out if you are hacking on the code or compilation will take forever - #$(MAKE) --no-print-directory -C include/Plutonium -f Makefile lib + $(MAKE) --no-print-directory -C include/Plutonium -f Makefile lib @$(MAKE) --no-print-directory -C $(BUILD) -f $(CURDIR)/Makefile #---------------------------------------------------------------------------------