diff options
author | Adam Chlipala <adamc@csail.mit.edu> | 2018-12-28 11:28:13 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-12-28 11:28:13 -0500 |
commit | b950347ec68e90aec890ef891de12793ea4ea2d3 (patch) | |
tree | 47154d284ec10655e65c9bba982f09c4a0a23f1f /tests | |
parent | d4620695ec44da55be046f9dee4caf1f29759943 (diff) | |
parent | a17a53b2c349b72578690e98ef680f27bdee801e (diff) |
Merge pull request #157 from fabriceleal/fix-js-icu-with-bitlookups
Fix js icu with bitlookups
Diffstat (limited to 'tests')
-rwxr-xr-x | tests/driver.sh | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/tests/driver.sh b/tests/driver.sh index 879c093d..d20809d0 100755 --- a/tests/driver.sh +++ b/tests/driver.sh @@ -21,5 +21,9 @@ fi $TESTSRV -q -a 127.0.0.1 & echo $! >> $TESTPID sleep 1 -python3 -m unittest $1.py +if [[ $# -eq 1 ]] ; then + python3 -m unittest $1.py +else + python3 -m unittest $1.Suite.$2 +fi kill `cat $TESTPID` |