Release: fix make_release bug
authorAli Saidi <saidi@eecs.umich.edu>
Wed, 31 Oct 2007 21:52:07 +0000 (17:52 -0400)
committerAli Saidi <saidi@eecs.umich.edu>
Wed, 31 Oct 2007 21:52:07 +0000 (17:52 -0400)
--HG--
extra : convert_revision : 4317e5909f23e2b8bf6e8407f0df10fad34e9e35

util/make_release.py

index b6c5f08fa44ad04381a8ed3881d338a2637e99cc..fafea133c02b2d02db659cde0b889aaffbee2bd6 100755 (executable)
@@ -172,7 +172,8 @@ def remove_lines(s_regex, e_regex, f):
     for line in inscript:
         if (not skipping and s_regex.match(line)) or \
                 (e_regex and skipping and not e_regex.match(line)):
-            skipping = True
+            if e_regex:
+                skipping = True
             continue
         skipping = False
         outscript.write(line)