From ddec0ec0a7772c434f2c7b4d284e9280067ed26b Mon Sep 17 00:00:00 2001
From: Ian Lynagh <igloo@earth.li>
Date: Thu, 5 Aug 2010 13:50:11 +0000
Subject: [PATCH] =?utf8?q?Don't=20restrict=20filenames=20in=20line=20pragmas?=
 =?utf8?q?=20to=20printable=20characters;=20fixes=20#4207=20"printable"=20is?=
 =?utf8?q?=20ASCII-only,=20whereas=20in=20other=20locales=20we=20can=20get=20?=
 =?utf8?q?things=20like=20#=201=20"<l=C3=ADnea-de-orden>"?=
MIME-Version: 1.0
Content-Type: text/plain; charset=utf8
Content-Transfer-Encoding: 8bit

---
 compiler/cmm/CmmLex.x |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/compiler/cmm/CmmLex.x b/compiler/cmm/CmmLex.x
index 1963479..a5defb6 100644
--- a/compiler/cmm/CmmLex.x
+++ b/compiler/cmm/CmmLex.x
@@ -74,7 +74,7 @@ $white_no_nl+		;
 -- single-line line pragmas, of the form
 --    # <line> "<file>" <extra-stuff> \n
 <line_prag> $digit+			{ setLine line_prag1 }
-<line_prag1> \" ($printable # \")* \"	{ setFile line_prag2 }
+<line_prag1> \" [^\"]* \"	{ setFile line_prag2 }
 <line_prag2> .*				{ pop }
 
 <0> {
-- 
1.7.10.4