From fb167775d703ba2a3cc1a0527982723845b6997e Mon Sep 17 00:00:00 2001
From: Ian Lynagh <igloo@earth.li>
Date: Tue, 18 Sep 2007 19:48:39 +0000
Subject: [PATCH] Install extra-gcc-opts in bindists

---
 distrib/Makefile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/distrib/Makefile b/distrib/Makefile
index ee1b962f79d0..3cbacc21e3ee 100644
--- a/distrib/Makefile
+++ b/distrib/Makefile
@@ -25,6 +25,7 @@ install::
 	$(MAKE) -C rts       install DOING_BIN_DIST=YES
 	$(MAKE) -C libraries install DOING_BIN_DIST=YES
 	$(MAKE) -C compiler  install DOING_BIN_DIST=YES
+	$(INSTALL_DATA) $(INSTALL_OPTS) extra-gcc-opts $(libdir)
 
 install :: install-docs postinstall denounce
 
-- 
GitLab