The backslash must be escaped.
Signed-off-by: Paolo Bonzini <[email protected]>
---
scripts/feature_to_c.py | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/scripts/feature_to_c.py b/scripts/feature_to_c.py
index a52cd2e9ec6..4275b758172 100644
--- a/scripts/feature_to_c.py
+++ b/scripts/feature_to_c.py
@@ -25,7 +25,7 @@ def writeliteral(indent, bytes):
elif c >= 32 and c < 127:
sys.stdout.write(c.to_bytes(1, 'big').decode())
else:
- sys.stdout.write(f'\{c:03o}')
+ sys.stdout.write(f'\\{c:03o}')
if quoted:
sys.stdout.write('"')
--
2.55.0
