From 1f7b32621700a7c104435a64d6cad5374cb8b9b7 Mon Sep 17 00:00:00 2001
From: Mike Pall <mike>
Date: Thu, 12 Sep 2013 12:46:28 +0200
Subject: [PATCH] DynASM: Emit #line <n> <file> instead of #<n> <file>.

---
 dynasm/dynasm.lua | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dynasm/dynasm.lua b/dynasm/dynasm.lua
index d670f8f8..3d04dcf8 100644
--- a/dynasm/dynasm.lua
+++ b/dynasm/dynasm.lua
@@ -85,7 +85,7 @@ end
 -- Resync CPP line numbers.
 local function wsync()
   if g_synclineno ~= g_lineno and g_opt.cpp then
-    wline("# "..g_lineno..' "'..g_fname..'"')
+    wline("#line "..g_lineno..' "'..g_fname..'"')
     g_synclineno = g_lineno
   end
 end