diff options
Diffstat (limited to '0003-Makefile-allow-passing-custom-flags-to-gprbuild.patch')
| -rw-r--r-- | 0003-Makefile-allow-passing-custom-flags-to-gprbuild.patch | 25 |
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 000000000000..f2a99f39f8bd --- /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 + |