# HG changeset patch
# User diego
# Date 1147867817 0
# Node ID 585837bbe7c389a323b4b4bb35326c58222230ec
# Parent  21bea4385fc9318333c3e2030ad6a4d489493a03
Accept --missing as well as -missing, print less newlines.

diff -r 21bea4385fc9 -r 585837bbe7c3 TOOLS/mphelp_check.py
--- a/TOOLS/mphelp_check.py	Wed May 17 12:01:00 2006 +0000
+++ b/TOOLS/mphelp_check.py	Wed May 17 12:10:17 2006 +0000
@@ -51,16 +51,16 @@
         print 'Missing: ', ' '.join(missing)
 
 if len(sys.argv) < 3:
-    print 'Usage:\n'+sys.argv[0]+' [-missing] base_helpfile otherfile1 '\
+    print 'Usage:\n'+sys.argv[0]+' [--missing] base_helpfile otherfile1 '\
           '[otherfile2 ...]'
     sys.exit(1)
 i = 1
 show_missing = False
-if sys.argv[i] == '-missing':
+if sys.argv[i] == ( '--missing' or '-missing' ):
     show_missing = True
     i = 2
 base = parse(sys.argv[i])
 for filename in sys.argv[i+1:]:
     print '*****', filename
     compare(base, parse(filename), show_missing)
-    print '\n\n\n'
+    print '\n'