diff tools/verify-all-heads.sh @ 394:d70c8e45cb9e

tests: add -A option to run.py for running comprehensive tests
author Dirkjan Ochtman <dirkjan@ochtman.nl>
date Thu, 11 Jun 2009 11:34:37 +0200
parents 5071b8511572
children 11c4c7242a36
line wrap: on
line diff