From: panne <unknown>
Date: Tue, 7 Dec 1999 13:04:31 +0000 (+0000)
Subject: [project @ 1999-12-07 13:04:31 by panne]
X-Git-Tag: Approximately_9120_patches~5412
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=60464668bbff6c222b769c9c82bf1cff05fce3ec;p=ghc-hetmet.git

[project @ 1999-12-07 13:04:31 by panne]
OK, don't say you haven't been warned: Sven "Larry W." Panne waved his
Perl-wand and changed a / / into /\s+/. This fixes the problem with
multiple spaces between {-# OPTIONS ... -#}, but still fails miserably
when quotes are used, e.g. {-# OPTIONS -#include "My Own Header.h" #-}.
---

diff --git a/ghc/utils/mkdependHS/mkdependHS.prl b/ghc/utils/mkdependHS/mkdependHS.prl
index c27fd17..13052db 100644
--- a/ghc/utils/mkdependHS/mkdependHS.prl
+++ b/ghc/utils/mkdependHS/mkdependHS.prl
@@ -434,7 +434,7 @@ sub slurp_file_for_imports {
     if ($options ne "") {
       @Old_Syslibs=@Syslibs;
       $ProcessingOptions=1;
-      &mangle_command_line_args(split(/ /,$options));
+      &mangle_command_line_args(split(/\s+/,$options));
       if (@Old_Syslibs ne @Syslibs) {
         $found_options=1;
 	@Old_Ignore_dirs = @Ignore_dirs;