diff options
| author | Paul m. p. P <pmpp.pub@gmail.com> | 2019-07-07 02:48:01 +0200 |
|---|---|---|
| committer | Damien George <damien.p.george@gmail.com> | 2019-07-12 17:10:11 +1000 |
| commit | 154062d9cb1eeb1b5f1fafa25959df16bd0b0b78 (patch) | |
| tree | a0c928b5cd7fe9874107df8edc7f85670f26cac5 /py/makeqstrdata.py | |
| parent | 82dc9856b06da89463e955abe2ee73a613718430 (diff) | |
py/makeqstrdata.py: Allow using \r\n as a qstr if a port requires it.
Diffstat (limited to 'py/makeqstrdata.py')
| -rw-r--r-- | py/makeqstrdata.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/py/makeqstrdata.py b/py/makeqstrdata.py index 060ebb7fd..163b7fce7 100644 --- a/py/makeqstrdata.py +++ b/py/makeqstrdata.py @@ -279,9 +279,11 @@ def parse_input_headers(infiles): # get the qstr value qstr = match.group(1) - # special case to specify control characters + # special cases to specify control characters if qstr == '\\n': qstr = '\n' + elif qstr == '\\r\\n': + qstr = '\r\n' # work out the corresponding qstr name ident = qstr_escape(qstr) |