From 5fdb050e09ff5fefbe42003499de22c56b2321bb Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Tue, 21 Aug 2018 13:42:49 +0200
Subject: Fix passing of -u to linker.

Instead of just passing -u to the linker also pass the value of
the option to the linker.
Bug 24316
---
 driver/Linker.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'driver/Linker.ml')

diff --git a/driver/Linker.ml b/driver/Linker.ml
index 6e6ad6b4..d6e1d384 100644
--- a/driver/Linker.ml
+++ b/driver/Linker.ml
@@ -86,4 +86,4 @@ let linker_actions =
       push_linker_arg s);
     Prefix "-Wl,", Self push_linker_arg;
     Prefix "-WUl,", Self (fun s -> List.iter push_linker_arg (explode_comma_option s));
-    Exact "-u", Self push_linker_arg;]
+    Exact "-u", String (fun s -> push_linker_arg "-u"; push_linker_arg s);]
-- 
cgit