diff options
Diffstat (limited to 'contrib')
| -rwxr-xr-x | contrib/jenkins-run.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/jenkins-run.sh b/contrib/jenkins-run.sh index b0b4925..6be14aa 100755 --- a/contrib/jenkins-run.sh +++ b/contrib/jenkins-run.sh @@ -34,4 +34,4 @@ scp -r "$local_trial_dir" $osmo_gsm_tester_host:$tmp_dir/ ssh "$osmo_gsm_tester_host" "mv $tmp_dir/$trial_name $osmo_gsm_tester_dir" trial_dir="$osmo_gsm_tester_dir/$trial_name" -ssh "$osmo_gsm_tester_host" "$osmo_gsm_tester_src/src/osmo-gsm-tester.py $trial_dir -T" +ssh "$osmo_gsm_tester_host" "python3 -u $osmo_gsm_tester_src/src/osmo-gsm-tester.py $trial_dir -T" |