diff options
Diffstat (limited to 'always-use-host-gprinstall.patch')
-rw-r--r-- | always-use-host-gprinstall.patch | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/always-use-host-gprinstall.patch b/always-use-host-gprinstall.patch new file mode 100644 index 000000000000..fbbad280b5fd --- /dev/null +++ b/always-use-host-gprinstall.patch @@ -0,0 +1,11 @@ +--- a/Makefile 2020-05-21 18:07:25.521090704 +0200 ++++ b/Makefile 2020-05-21 18:07:45.827341018 +0200 +@@ -40,7 +40,7 @@ + # target options for cross-build + ifeq ($(HOST),$(TARGET)) + GTARGET= +-INSTALLER=exe/$(BUILD)/$(LIB_INSTALLER) ++INSTALLER=$(LIB_INSTALLER) + else + GTARGET=--target=$(TARGET) + INSTALLER=$(LIB_INSTALLER) |