blob: f2a99f39f8bde00c3ed6b971be44d1c2b4dcab3d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
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
|