| commit | 9fa6f8dde79074fb26119e19329fdde0dbeda3c7 | [log] [tgz] |
|---|---|---|
| author | Davide Pesavento <davidepesa@gmail.com> | Tue Mar 12 19:40:26 2024 -0400 |
| committer | Davide Pesavento <davidepesa@gmail.com> | Tue Mar 12 19:40:26 2024 -0400 |
| tree | 137d90b99ed990c249eb9b9cf0205772f378b696 | |
| parent | 74090e1b6c0322d4bb262edb764de59f1345a095 [diff] [blame] |
build: update waf to version 2.0.27 Change-Id: Ifc91195b5d6a7f5feb63e0902d1ee2b39f1bba21
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