From 60464668bbff6c222b769c9c82bf1cff05fce3ec Mon Sep 17 00:00:00 2001 From: panne 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 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; -- 1.7.10.4