From 21015603e4cad066bf5218e11df97f436d4c7433 Mon Sep 17 00:00:00 2001
From: Alejandro Gallo <aamsgallo@gmail.com>
Date: Mon, 6 Sep 2021 16:25:49 +0200
Subject: [PATCH] Update Makefile

---
 Makefile | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 0413a46..d947e35 100644
--- a/Makefile
+++ b/Makefile
@@ -28,7 +28,9 @@ static: $(STATIC_LIBRARY)
 shared: $(SHARED_LIBRARY)
 .PHONY: lib static shared
 
+ifeq ($(MAKECMD),lib)
 include $(DEP_FILES)
+endif
 
 
 
@@ -63,7 +65,7 @@ clean:
 clean-all: CLEANING=yes
 clean-all: bench-clean clean-emacs clean clean-extern
 
-bench: $(BENCH_TARGETS)
+bench: lib $(BENCH_TARGETS)
 
 .PHONY: clean tangle bench