From 98cbc33ba313890c5ecf551d03fb61b6349e29da Mon Sep 17 00:00:00 2001 From: sof Date: Tue, 17 Jul 2001 17:12:04 +0000 Subject: [PATCH] [project @ 2001-07-17 17:12:04 by sof] runSomething: narrow down prev commit, only quote args under mingw;it interacts badly with -D quoting already done on other plats (and isn't reqd) --- ghc/compiler/main/SysTools.lhs | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/ghc/compiler/main/SysTools.lhs b/ghc/compiler/main/SysTools.lhs index 1f7a038..8783498 100644 --- a/ghc/compiler/main/SysTools.lhs +++ b/ghc/compiler/main/SysTools.lhs @@ -557,8 +557,12 @@ runSomething phase_name pgm args where cmd_line = unwords (pgm : dosifyPaths (map quote args)) -- The pgm is already in native format (appropriate dir separators) +#if defined(mingw32_TARGET_OS) quote "" = "" quote s = "\"" ++ s ++ "\"" +#else + quote = id +#endif traceCmd :: String -> String -> IO () -> IO () -- a) trace the command (at two levels of verbosity) -- 1.7.10.4