diff options
| author | Xiretza | 2020-10-12 14:03:26 +0200 |
|---|---|---|
| committer | Xiretza | 2020-10-12 14:03:26 +0200 |
| commit | 3dbc01c242b36af8961236b639759c80c0715e37 (patch) | |
| tree | fdbb18e8bffea720c81b4a12974793931b0e7ed4 /0004-Honour-GPRBUILD_FLAGS-in-cli-Makefile.patch | |
| parent | 7e7e6bc1f8e6c52148b0f9603946e7d8b4383988 (diff) | |
| download | aur-3dbc01c242b36af8961236b639759c80c0715e37.tar.gz | |
Revert "Update to version 21.0w."
This reverts commit 7e7e6bc1f8e6c52148b0f9603946e7d8b4383988.
Diffstat (limited to '0004-Honour-GPRBUILD_FLAGS-in-cli-Makefile.patch')
| -rw-r--r-- | 0004-Honour-GPRBUILD_FLAGS-in-cli-Makefile.patch | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/0004-Honour-GPRBUILD_FLAGS-in-cli-Makefile.patch b/0004-Honour-GPRBUILD_FLAGS-in-cli-Makefile.patch new file mode 100644 index 000000000000..f4bf3650017b --- /dev/null +++ b/0004-Honour-GPRBUILD_FLAGS-in-cli-Makefile.patch @@ -0,0 +1,28 @@ +From 1b9588773387109753218a6395c77014b56bd8ea Mon Sep 17 00:00:00 2001 +From: Xiretza <xiretza@xiretza.xyz> +Date: Sun, 24 May 2020 11:23:55 +0200 +Subject: [PATCH 4/5] Honour GPRBUILD_FLAGS= in cli/Makefile + +--- + cli/Makefile | 5 +++-- + 1 file changed, 3 insertions(+), 2 deletions(-) + +diff --git a/cli/Makefile b/cli/Makefile +index 3b0630d8ef..8c6218cf5a 100644 +--- a/cli/Makefile ++++ b/cli/Makefile +@@ -1,8 +1,9 @@ + GPRBUILD=gprbuild + GPRCLEAN=gprclean ++GPRBUILD_FLAGS= + + all default: +- $(GPRBUILD) -p -Pcli ++ $(GPRBUILD) $(GPRBUILD_FLAGS) -p -Pcli + + clean: +- $(GPRCLEAN) -q -r -Pcli ++ $(GPRCLEAN) $(GPRBUILD_FLAGS) -q -r -Pcli +-- +2.26.2 + |