| commit | 5afb1fb946b5538beb34cc4e0027702170b66cf8 | [log] [tgz] |
|---|---|---|
| author | Davide Pesavento <davidepesa@gmail.com> | Tue Dec 10 15:15:42 2024 -0500 |
| committer | Davide Pesavento <davidepesa@gmail.com> | Tue Dec 10 15:15:42 2024 -0500 |
| tree | fa91b97f6d2d2ad2b0e76ccbf98b2ab06eecb181 | |
| parent | 0311642afa73622e264288ecda7b58bef86ce4c5 [diff] [blame] |
ci+docs: switch to pkgconf on macOS Change-Id: I9cb98823c41974d37257c72f67693c2ebce23db8
diff --git a/.jenkins.d/00-deps.sh b/.jenkins.d/00-deps.sh index b0e54a0..17b544a 100755 --- a/.jenkins.d/00-deps.sh +++ b/.jenkins.d/00-deps.sh
@@ -18,7 +18,7 @@ pkg-config python3 ) -FORMULAE=(boost openssl pkg-config) +FORMULAE=(boost openssl pkgconf) PIP_PKGS=() case $JOB_NAME in *code-coverage)