bad use of chop_prefix

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4158 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
master
Jacques Garrigue 2001-12-11 05:59:59 +00:00
parent 766e73be80
commit ad961d3141
1 changed files with 3 additions and 3 deletions

View File

@ -98,12 +98,12 @@ let parse_arguments argv =
else if s = "-Wl,-rpath" then
(let a = next_arg() in
if starts_with a "-Wl,"
then rpath := chop_prefix "-Wl," s :: !rpath
then rpath := chop_prefix a "-Wl," :: !rpath
else raise (Bad_argument("Option -Wl,-rpath expects a -Wl, argument")))
else if starts_with s "-Wl,-rpath," then
rpath := chop_prefix "-Wl,-rpath," s :: !rpath
rpath := chop_prefix s "-Wl,-rpath," :: !rpath
else if starts_with s "-Wl,-R" then
rpath := chop_prefix "-Wl,-R" s :: !rpath
rpath := chop_prefix s "-Wl,-R" :: !rpath
else if s = "-v" || s = "-verbose" then
verbose := true
else if starts_with s "-" then