diff tests/coverage.py @ 4734:9ac493f12901

Abort if earlygetopt fails to detect an option. Otherwise it could happen that a command is used on the wrong repository, because abbreviations of --cwd or --repository were ignored.
author Thomas Arendsen Hein <thomas@intevation.de>
date Thu, 28 Jun 2007 16:03:45 +0200
parents 306055f5b65c
children d9e385a7a806
line wrap: on
line diff