From 83f9b07146855abd5d2389c32453bee20cbc237d Mon Sep 17 00:00:00 2001
From: Cristian Maglie <c.maglie@arduino.cc>
Date: Thu, 11 May 2023 15:05:19 +0200
Subject: [PATCH] fix: support for parsing escaped #line tags

---
 read.c | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/read.c b/read.c
index 7940c86..1cf116c 100644
--- a/read.c
+++ b/read.c
@@ -164,6 +164,9 @@ static vString *readFileName (void)
 	while (c != EOF  &&  c != '\n'  &&
 			(quoteDelimited ? (c != '"') : (c != ' '  &&  c != '\t')))
 	{
+		if (c == '\\') {
+			c = getc (File.fp);
+		}
 		vStringPut (fileName, c);
 		c = getc (File.fp);
 	}