From e65ffcc4c21a437a7ffbb3d3090646218b513ccc Mon Sep 17 00:00:00 2001 From: sof Date: Thu, 16 Sep 1999 17:28:06 +0000 Subject: [PATCH] [project @ 1999-09-16 17:28:06 by sof] Don't insist that {-# OPTIONS ... #-} pragma is followed by \n --- ghc/driver/ghc.lprl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ghc/driver/ghc.lprl b/ghc/driver/ghc.lprl index b044ed4..481636a 100644 --- a/ghc/driver/ghc.lprl +++ b/ghc/driver/ghc.lprl @@ -2668,7 +2668,7 @@ sub check_for_source_options { open(FILE,$file) || return(1); # No big loss while () { - if ( /^${comment_start} OPTIONS (.*)${comment_end}$/ ) { + if ( /^${comment_start} OPTIONS (.*)${comment_end}/ ) { # add the options found at the back of the command line. local(@entries) = split(/\s+/,$1); print STDERR "Found OPTIONS " . join(' ',@entries) . " in $file\n" if $Verbose; -- 1.7.10.4