Misc fixes to run_dejagnu.py.

PRESUBMIT=passed
R=asharif,bjanakiraman
DELTA=43  (6 added, 18 deleted, 19 changed)
RCL=45982-p2
RDATE=2010/12/17 16:32:45


P4 change: 42607405
4 files changed
tree: 86de9a0749f78d56d844afb47719ae310cc0a6ec
  1. .git5_specs/
  2. v14/