changeset 2171 | b7344f27cbbc |
parent 2153 | f64a9f4ada4d |
child 4973 | be26c0c14fa7 |
--- a/tools/userland-mangler Fri Oct 24 11:53:16 2014 -0700 +++ b/tools/userland-mangler Thu Oct 02 01:28:05 2014 -0700 @@ -217,7 +217,7 @@ strip_cddl = action.attrs.pop('mangler.strip_cddl', 'true') if strip_cddl is 'false': return text - cddl_re = re.compile('^[^\n]*CDDL HEADER START.+CDDL HEADER END[^\n]*$', + cddl_re = re.compile('^[^\n]*CDDL HEADER START.+CDDL HEADER END[^\n]*\n', re.MULTILINE|re.DOTALL) return cddl_re.sub('', text)