Merge change 1002 into donut

* changes:
  runtest.py bug fixes.
tree: 7576c043f0c5b15a606df790a0065bf9ee66a192
  1. .gitignore