diff options
-rw-r--r-- | driver/Linker.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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);] |