commit | 5ca40bb5d2d57ecbb9b291a42c7a87ae7fe3ec45 | [log] [tgz] |
---|---|---|
author | Davide Pesavento <davidepesa@gmail.com> | Tue Mar 12 20:50:42 2024 -0400 |
committer | Davide Pesavento <davidepesa@gmail.com> | Tue Mar 12 20:50:42 2024 -0400 |
tree | ed466cae7aa9ce6902fa60f0b16dbdf23789814f | |
parent | 16479f322df8473e0cf76f10aa0d4573ba43d7f5 [diff] [blame] |
build: update waf to version 2.0.27 Change-Id: I266ac34666eab05dd9c9108690ed1986dcdb0480
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