changeset 18532:fe17e7634db1

10l: Really accept both one and two dashes.
author diego
date Wed, 17 May 2006 14:49:44 +0000
parents 2c4e00fa6f0e
children 6b92a27e247c
files TOOLS/mphelp_check.py
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
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])