From 5309f16159e4decd81330622dcdd6eb4b25819a1 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Tue, 16 Aug 2016 10:35:17 +0200
Subject: Moved quoting functions in Responsefile

Also corrected some typos and corrected exception handling for
expandargv.
Bug 18308
---
 driver/Linker.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'driver/Linker.ml')

diff --git a/driver/Linker.ml b/driver/Linker.ml
index 305c5603..2f767023 100644
--- a/driver/Linker.ml
+++ b/driver/Linker.ml
@@ -24,8 +24,8 @@ let linker exe_name files =
     ["-o"; exe_name];
     files;
     (if Configuration.has_runtime_lib
-    then ["-L" ^ !stdlib_path; "-lcompcert"]
-    else [])
+     then ["-L" ^ !stdlib_path; "-lcompcert"]
+     else [])
   ] in
   let exc = command cmd in
   if exc <> 0 then begin
-- 
cgit