From 84a121c53bd9a9449a29ba5ab42d0b31c757c8f4 Mon Sep 17 00:00:00 2001
From: fanquake <fanquake@gmail.com>
Date: Thu, 7 Oct 2021 12:43:30 +0800
Subject: [PATCH] build: add MINISKETCH_INCLUDE_DIR_INT variable

---
 sources.mk | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/sources.mk b/sources.mk
index 7528a82..386a4fc 100644
--- a/sources.mk
+++ b/sources.mk
@@ -8,6 +8,8 @@
 #   downstreams to use these variables without having to manually account for
 #   the path change.
 
+MINISKETCH_INCLUDE_DIR_INT = %reldir%/include
+
 MINISKETCH_DIST_HEADERS_INT =
 MINISKETCH_DIST_HEADERS_INT += %reldir%/include/minisketch.h