diff tests/test-convert-tla.t @ 14282:10286a04fbd9

run-tests: remove check on --shell argument No shell is needed when executing Python tests and finding a good shell might be difficult/impossible on some platforms (e.g., Windows).
author Martin Geisler <mg@aragost.com>
date Mon, 09 May 2011 17:20:15 +0200
parents 7fc79055a62b
children e0348815e806
line wrap: on
line diff