diff options
Diffstat (limited to 'relocatable-build.patch')
-rw-r--r-- | relocatable-build.patch | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/relocatable-build.patch b/relocatable-build.patch deleted file mode 100644 index 0ed02e6ba1a9..000000000000 --- a/relocatable-build.patch +++ /dev/null @@ -1,11 +0,0 @@ ---- a/Makefile -+++ b/Makefile -@@ -75,7 +75,7 @@ - CLEANER=gprclean -q $(RBD) - - GPRBUILD_BUILDER=$(BUILDER) $(GPRBUILD_GPR) \ -- -XLIBRARY_TYPE=static -XXMLADA_BUILD=static -+ -XLIBRARY_TYPE=relocatable -XXMLADA_BUILD=relocatable - LIBGPR_BUILDER=$(BUILDER) $(GPR_GPR) - LIBGPR_INSTALLER=$(LIB_INSTALLER) $(GPR_GPR) -XBUILD=${BUILD} \ - --install-name=gpr --build-var=LIBRARY_TYPE $(GTARGET) |