Fix stale use of old 'options' argument.

An earlier patch had made the command line options a global variable
_OPTIONS, but it had not renamed all the uses of the old options argument.

	* testsuite-management/validate_failures.py: Fix stale
	use of 'options'.

From-SVN: r194092

contrib/ChangeLog

+2012-12-03  Diego Novillo  <dnovillo@google.com>
+
+	* testsuite-management/validate_failures.py: Fix stale
+	use of 'options'.
+
 2012-11-30  Doug Evans  <dje@google.com>
 
 	* testsuite-management/validate_failures.py: Add support for @include,

contrib/testsuite-management/validate_failures.py

@@ -241,7 +241,7 @@ def GetNegativeResult(line):
 
 def ParseManifestWorker(result_set, manifest_path):
   """Read manifest_path, adding the contents to result_set."""
-  if options.verbosity >= 1:
+  if _OPTIONS.verbosity >= 1:
     print 'Parsing manifest file %s.' % manifest_path
   manifest_file = open(manifest_path)
   for line in manifest_file: