From 4fa18a964272c27bb038db5dbae64d02d08fa380 Mon Sep 17 00:00:00 2001
From: dongresource <dongresource@protonmail.com>
Date: Sat, 6 Nov 2021 06:00:37 +0100
Subject: [PATCH] Fix make not detecting changes to headers in vendor/

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index fa2f70a..dce4a1f 100644
--- a/Makefile
+++ b/Makefile
@@ -148,7 +148,7 @@ windows : SERVER=$(WIN_SERVER)
 	$(CXX) -c $(CXXFLAGS) -o $@ $<
 
 # header timestamps are a prerequisite for OF object files
-$(CXXOBJ): $(CXXHDR)
+$(CXXOBJ): $(HDR)
 
 $(SERVER): $(OBJ) $(CHDR) $(CXXHDR)
 	mkdir -p bin