From cc7894571c9c07706b33fa93d4c3f4866bf1c724 Mon Sep 17 00:00:00 2001 From: simonmar Date: Wed, 28 Jun 2000 16:57:05 +0000 Subject: [PATCH] [project @ 2000-06-28 16:57:05 by simonmar] ignore lines beginning with '#' when looking for {-# OPTIONS #-} --- ghc/driver/Main.hs | 1 + 1 file changed, 1 insertion(+) diff --git a/ghc/driver/Main.hs b/ghc/driver/Main.hs index 62643fc..1403830 100644 --- a/ghc/driver/Main.hs +++ b/ghc/driver/Main.hs @@ -945,6 +945,7 @@ getOptionsFromSource file l <- hGetLine h case () of () | null l -> look h + | prefixMatch "#" l -> look h | prefixMatch "{-# LINE" l -> look h | Just (opts:_) <- matchRegex optionRegex l -> return (words opts) -- 1.7.10.4