diff --git a/tools/extracttests.py b/tools/extracttests.py index 2851a300e..4d9f479bf 100755 --- a/tools/extracttests.py +++ b/tools/extracttests.py @@ -138,8 +138,11 @@ for arg in sys.argv[1:]: xml = True elif arg.startswith('--html='): htmldir = arg[7:] - else: + elif arg.endswith('.cpp'): filename = arg + else: + print 'Invalid option: ' + arg + sys.exit(1) # extract test cases