summarylogtreecommitdiffstats
path: root/0003-Makefile-allow-passing-custom-flags-to-gprbuild.patch
diff options
context:
space:
mode:
Diffstat (limited to '0003-Makefile-allow-passing-custom-flags-to-gprbuild.patch')
-rw-r--r--0003-Makefile-allow-passing-custom-flags-to-gprbuild.patch25
1 files changed, 25 insertions, 0 deletions
diff --git a/0003-Makefile-allow-passing-custom-flags-to-gprbuild.patch b/0003-Makefile-allow-passing-custom-flags-to-gprbuild.patch
new file mode 100644
index 00000000000..f2a99f39f8b
--- /dev/null
+++ b/0003-Makefile-allow-passing-custom-flags-to-gprbuild.patch
@@ -0,0 +1,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
+