| commit | 9419dd5c206c507bb96c946125909e667d658120 | [log] [tgz] |
|---|---|---|
| author | Davide Pesavento <davidepesa@gmail.com> | Tue Mar 12 18:38:11 2024 -0400 |
| committer | Davide Pesavento <davidepesa@gmail.com> | Tue Mar 12 18:38:11 2024 -0400 |
| tree | f798f420c960bf75c470a06a3c9c064da5a953d7 | |
| parent | f6d7599234cbb3494644aa9e7c0bd22dc87639b2 [diff] [blame] |
build: update waf to version 2.0.27 Change-Id: I75ae380ec1a84687af497ec46f0ad05272e977b7
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