aboutsummaryrefslogtreecommitdiffstats
path: root/driver/Linker.ml
diff options
context:
space:
mode:
authorBernhard Schommer <bernhardschommer@gmail.com>2017-01-18 12:11:46 +0100
committerBernhard Schommer <bernhardschommer@gmail.com>2017-01-18 12:11:46 +0100
commitb82ae19b91db32b12f0c0afe1a478f9d4caa6497 (patch)
tree085e83886bdeddd71959a89de96dfad85a47ed12 /driver/Linker.ml
parent1e26e3d26fa06c38f712ff4a2554de76212d38ab (diff)
downloadcompcert-kvx-b82ae19b91db32b12f0c0afe1a478f9d4caa6497.tar.gz
compcert-kvx-b82ae19b91db32b12f0c0afe1a478f9d4caa6497.zip
Use quoted strings.
Instead of escaping all newlines etc for the help options use quoted strings. Bug 19872
Diffstat (limited to 'driver/Linker.ml')
-rw-r--r--driver/Linker.ml39
1 files changed, 21 insertions, 18 deletions
diff --git a/driver/Linker.ml b/driver/Linker.ml
index 2f767023..5e14cfd4 100644
--- a/driver/Linker.ml
+++ b/driver/Linker.ml
@@ -35,27 +35,30 @@ let linker exe_name files =
let gnu_linker_help =
-" -nostartfiles Do not use the standard system startup files when\n\
-\ linking\n\
-\ -nodefaultlibs Do not use the standard system libraries when\n\
-\ linking\n\
-\ -nostdlib Do not use the standard system startup files or\n\
-\ libraries when linking\n"
+{| -nostartfiles Do not use the standard system startup files when
+ linking
+ -nodefaultlibs Do not use the standard system libraries when
+ linking
+ -nostdlib Do not use the standard system startup files or
+ libraries when linking
+|}
let linker_help =
-"Linking options:\n\
-\ -l<lib> Link library <lib>\n\
-\ -L<dir> Add <dir> to search path for libraries\n" ^
+{|Linking options:
+ -l<lib> Link library <lib>
+ -L<dir> Add <dir> to search path for libraries
+|} ^
(if gnu_system then gnu_linker_help else "") ^
-" -s Remove all symbol table and relocation information from the\n\
-\ executable\n\
-\ -static Prevent linking with the shared libraries\n\
-\ -T <file> Use <file> as linker command file\n\
-\ -Wl,<opt> Pass option <opt> to the linker\n\
-\ -WUl,<opt> Pass option <opt> to the gcc or dcc used for linking\n\
-\ -Xlinker <opt> Pass <opt> as an option to the linker\n\
-\ -u <symb> Pretend the symbol <symb> is undefined to force linking of\n\
-\ library modules to define it.\n"
+{| -s Remove all symbol table and relocation information from the
+ executable
+ -static Prevent linking with the shared libraries
+ -T <file> Use <file> as linker command file
+ -Wl,<opt> Pass option <opt> to the linker
+ -WUl,<opt> Pass option <opt> to the gcc or dcc used for linking
+ -Xlinker <opt> Pass <opt> as an option to the linker
+ -u <symb> Pretend the symbol <symb> is undefined to force linking of
+ library modules to define it.
+|}
let linker_actions =
[ Prefix "-l", Self push_linker_arg;