From 14126985f3648d56f33086c52364ee5b484fe31c Mon Sep 17 00:00:00 2001
From: Kamil Trzcinski <ayufan@ayufan.eu>
Date: Tue, 12 Apr 2022 14:27:39 +0200
Subject: [PATCH] `make headers`

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

diff --git a/Makefile b/Makefile
index d2777d9..2748dc7 100644
--- a/Makefile
+++ b/Makefile
@@ -45,6 +45,7 @@ clean:
 
 headers:
 	find -name '*.h' | xargs -n1 $(CCACHE) $(CC) $(CFLAGS) -Wno-error -c -o /dev/null
+	find -name '*.hh' | xargs -n1 $(CCACHE) $(CXX) $(CFLAGS) -std=c++17 -Wno-error -c -o /dev/null
 
 -include $(OBJS:.o=.d)