| commit | 8ccb1d2c1d1bae8c744e304fc60125701510053d | [log] [tgz] |
|---|---|---|
| author | Davide Pesavento <davidepesa@gmail.com> | Tue Mar 12 19:44:16 2024 -0400 |
| committer | Davide Pesavento <davidepesa@gmail.com> | Tue Mar 12 19:44:16 2024 -0400 |
| tree | 3c97b2061f2e6f220c011ba36176e8a5f48e6041 | |
| parent | 43cf7c4ba8b6c2881842455a8c97ea195e60966a [diff] [blame] |
build: update waf to version 2.0.27 Change-Id: Ib5ec66819e9adc2449d7417bd54f19829e272cdf
diff --git a/.jenkins.d/01-ndn-cxx.sh b/.jenkins.d/01-ndn-cxx.sh index 6c7fb22..d89b426 100755 --- a/.jenkins.d/01-ndn-cxx.sh +++ b/.jenkins.d/01-ndn-cxx.sh
@@ -35,7 +35,7 @@ pushd ndn-cxx >/dev/null -./waf --color=yes configure --without-osx-keychain +./waf --color=yes configure ./waf --color=yes build sudo ./waf --color=yes install