diff options
| author | David Robillard <d@drobilla.net> | 2019-03-17 17:31:04 +0100 |
|---|---|---|
| committer | David Robillard <d@drobilla.net> | 2019-03-17 18:14:27 +0100 |
| commit | 058f341053067b69a84d4081107fda5058290ff9 (patch) | |
| tree | 00d80f8313da3ba40345d660dc007d7f002e6ab6 /waflib/extras/ocaml.py | |
| parent | 97f67d8eabc1a3add7acec5f14a53f8cf788fd01 (diff) | |
| parent | e2ba1ff035a1928869566ff62d07d61ce9647627 (diff) | |
Diffstat (limited to 'waflib/extras/ocaml.py')
| -rw-r--r-- | waflib/extras/ocaml.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/waflib/extras/ocaml.py b/waflib/extras/ocaml.py index afe73c0..7d785c6 100644 --- a/waflib/extras/ocaml.py +++ b/waflib/extras/ocaml.py @@ -15,7 +15,7 @@ EXT_MLI = ['.mli'] EXT_MLC = ['.c'] EXT_ML = ['.ml'] -open_re = re.compile('^\s*open\s+([a-zA-Z]+)(;;){0,1}$', re.M) +open_re = re.compile(r'^\s*open\s+([a-zA-Z]+)(;;){0,1}$', re.M) foo = re.compile(r"""(\(\*)|(\*\))|("(\\.|[^"\\])*"|'(\\.|[^'\\])*'|.[^()*"'\\]*)""", re.M) def filter_comments(txt): meh = [0] |