[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

@@ -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;