diff TOOLS/mphelp_check.py @ 18532:fe17e7634db1

10l: Really accept both one and two dashes.
author diego
date Wed, 17 May 2006 14:49:44 +0000
parents 585837bbe7c3
children 9065db6f98d9
line wrap: on
line diff
--- a/TOOLS/mphelp_check.py	Wed May 17 12:15:23 2006 +0000
+++ b/TOOLS/mphelp_check.py	Wed May 17 14:49:44 2006 +0000
@@ -56,7 +56,7 @@
     sys.exit(1)
 i = 1
 show_missing = False
-if sys.argv[i] == ( '--missing' or '-missing' ):
+if sys.argv[i] in ( '--missing', '-missing' ):
     show_missing = True
     i = 2
 base = parse(sys.argv[i])