summaryrefslogtreecommitdiff
path: root/tests/driver.sh
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@csail.mit.edu>2018-06-04 09:58:50 -0400
committerGravatar GitHub <noreply@github.com>2018-06-04 09:58:50 -0400
commitea85b40d3a89447dcc65696cb1bb65bcf8806869 (patch)
tree92ba987f00bcf063155bab5160eab3ed17df1563 /tests/driver.sh
parent50010c982776ae62233f577f74a8e92e02c5b190 (diff)
parent4bf7bfd52e5e822b05665b1872a2cfd31417486d (diff)
Merge pull request #127 from ashalkhakov/cradio
Adding: cradio (support for client-side radio box).
Diffstat (limited to 'tests/driver.sh')
-rwxr-xr-xtests/driver.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/driver.sh b/tests/driver.sh
index cc62644b..879c093d 100755
--- a/tests/driver.sh
+++ b/tests/driver.sh
@@ -21,5 +21,5 @@ fi
$TESTSRV -q -a 127.0.0.1 &
echo $! >> $TESTPID
sleep 1
-python -m unittest $1.py
+python3 -m unittest $1.py
kill `cat $TESTPID`