| commit | d8bf8bbb636355193a6ccc744e93628144e29ccc | [log] [tgz] |
|---|---|---|
| author | Davide Pesavento <davidepesa@gmail.com> | Tue Mar 12 18:50:36 2024 -0400 |
| committer | Davide Pesavento <davidepesa@gmail.com> | Tue Mar 12 18:50:36 2024 -0400 |
| tree | 345ea92f32fe3091f0bdf3f2e6da4a6304304562 | |
| parent | 6624987951cfa2fcc9cca11c250e98bdbf42233f [diff] [blame] |
build: update waf to version 2.0.27 Change-Id: Idbf09a68d1662bbb5f1f9110a9fdab2f93886e5d
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