diff options
| author | Ehsan Akhgari <ehsan.akhgari@gmail.com> | 2012-01-27 16:32:46 -0500 |
|---|---|---|
| committer | Ehsan Akhgari <ehsan.akhgari@gmail.com> | 2012-01-27 16:32:46 -0500 |
| commit | 86e53100067d5f0f6f87c389ca2a4743e0e777fd (patch) | |
| tree | 8736ae935de8cc26bce682f84db564333852f2bf /tests/runner.py | |
| parent | 01e21e541251d271d28e92b2c6b28a8290994470 (diff) | |
Add support for using a shell file except than the built-in one
This adds a --shell-file compiler option which allows users to use a
custom shell file.
Diffstat (limited to 'tests/runner.py')
0 files changed, 0 insertions, 0 deletions