tools/userland-mangler
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)