]> thyrsus.com Git - mad.git/commitdiff
Handle PAUSE NO.
authorEric S. Raymond <esr@thyrsus,com>
Tue, 2 Mar 2004 05:51:00 +0000 (05:51 +0000)
committerEric S. Raymond <esr@thyrsus,com>
Tue, 2 Mar 2004 05:51:00 +0000 (05:51 +0000)
mad

diff --git a/mad b/mad
index c5774714a8253a3e2395347a5b9c7be315ed0071..ac7e9a6e4e8cbeef739711f1a3a12127640eddc9 100755 (executable)
--- a/mad
+++ b/mad
@@ -1180,6 +1180,8 @@ if __name__ == '__main__':
         source = source.replace("SET LIST TO", "SET_LIST_TO")
         source = source.replace("PRINT FORMAT", "PRINT_FORMAT")
         source = source.replace("READ FORMAT", "READ_FORMAT")
+        # Clean up one seriously ugly feature of the syntax.
+        source = re.sub(r"PAUSE\s*NO\.", "PAUSE", source)
         # Lex or parse
         if lexercise:
             lex.input(source)