[m-rev.] diff: fix another quoting problem with mmc --make

[Julien Fischer]

Fix a problem with mmc --make.

compiler/compile_target_code.m:
 	Quote runtime library paths before passing them to the linker,
 	otherwise it won't work if they contain spaces.

Julien.

Index: compiler/compile_target_code.m
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/compiler/compile_target_code.m,v
retrieving revision 1.133
diff -u -r1.133 compile_target_code.m
--- compiler/compile_target_code.m	8 Oct 2008 02:33:19 -0000	1.133
+++ compiler/compile_target_code.m	11 Dec 2008 15:07:33 -0000
@@ -1745,7 +1745,8 @@
          )
      ->
          globals.io_lookup_accumulating_option(
-            runtime_link_library_directories, RpathDirs, !IO),
+            runtime_link_library_directories, RpathDirs0, !IO),
+        RpathDirs = list.map(quote_arg, RpathDirs0),
          (
              RpathDirs = [],
              RpathOpts = ""

--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------