| commit | 2349e28c6d56d820624e2b9a666aa864a1518ab9 | [log] [tgz] |
|---|---|---|
| author | Davide Pesavento <davidepesa@gmail.com> | Tue Mar 24 14:28:03 2020 -0400 |
| committer | Davide Pesavento <davidepesa@gmail.com> | Thu Mar 26 17:56:05 2020 -0400 |
| tree | e51e88af5078cfe8efb08b8ebc5e59b920f6aaf2 | |
| parent | d776a93c9ca8940553e601bb7000d15c26ac02a8 [diff] [blame] |
build: add CentOS 8 support; drop CentOS 7 Refs: #5040, #5087 Change-Id: I6dcc5e9ee6b4839a6b3f15f1ad6dabf140301ae4
diff --git a/.jenkins b/.jenkins index 934aceb..b368a74 100755 --- a/.jenkins +++ b/.jenkins
@@ -1,5 +1,8 @@ #!/usr/bin/env bash set -e +source .jenkins.d/util.sh + +export WAF_JOBS=${WAF_JOBS:-1} nanos() { # Cannot use date(1) because macOS does not support %N format specifier