From 60464668bbff6c222b769c9c82bf1cff05fce3ec Mon Sep 17 00:00:00 2001
From: panne <unknown>
Date: Tue, 7 Dec 1999 13:04:31 +0000
Subject: [PATCH] [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" #-}.
---
ghc/utils/mkdependHS/mkdependHS.prl | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/ghc/utils/mkdependHS/mkdependHS.prl b/ghc/utils/mkdependHS/mkdependHS.prl
index c27fd179dc15..13052dbb8d10 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;
--
GitLab