| commit | a1a9d704bad78b34cd18b59dcb1b92690c72b8e0 | [log] [tgz] |
|---|---|---|
| author | Davide Pesavento <davidepesa@gmail.com> | Sun Mar 29 00:58:15 2020 -0400 |
| committer | Davide Pesavento <davidepesa@gmail.com> | Sun Mar 29 01:04:31 2020 -0400 |
| tree | f43bb7801034335ead2aa193c82b7b290561fbd2 | |
| parent | 4ab5eed35d80fe9aab7a7141de5b23c78030a194 [diff] [blame] |
build: switch to python3 Refs: #5095 Change-Id: I7e7a3a5cd49d69c6e389060ccf8fe30599ebd876
diff --git a/.jenkins b/.jenkins index 78e1ca1..25bf743 100755 --- a/.jenkins +++ b/.jenkins
@@ -1,9 +1,11 @@ #!/usr/bin/env bash set -e +export WAF_JOBS=${WAF_JOBS:-1} + nanos() { # Cannot use date(1) because macOS does not support %N format specifier - python -c 'import time; print(int(time.time() * 1e9))' + python3 -c 'import time; print(int(time.time() * 1e9))' } for file in .jenkins.d/*; do