From d083c93ea98b87404382d2895413f9cf94e6d593 Mon Sep 17 00:00:00 2001
From: Xiretza <xiretza@xiretza.xyz>
Date: Fri, 6 Aug 2021 13:54:19 +0200
Subject: [PATCH 3/3] Makefile: allow passing custom flags to gprbuild

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

diff --git a/Makefile b/Makefile
index 8d02469..ffbf1e3 100644
--- a/Makefile
+++ b/Makefile
@@ -1,7 +1,7 @@
 DESTDIR=
 
 all: generated
-	gprbuild -p -P ada_libfswatch
+	gprbuild -p -P ada_libfswatch $(GPRBUILD_FLAGS)
 
 # generate the Ada binding
 generated:
-- 
2.32.0
