| commit | 5c701fc62be740d1b24f56b1cc81d2cd87a03bbe | [log] [tgz] |
|---|---|---|
| author | Davide Pesavento <davidepesa@gmail.com> | Tue Mar 12 20:16:02 2024 -0400 |
| committer | Davide Pesavento <davidepesa@gmail.com> | Tue Mar 12 20:27:33 2024 -0400 |
| tree | e25832d575da3204d50454cbc7844a7b4d7ea731 | |
| parent | 9510c91d164dc281b83001bce73d8ef2b9d6ef69 [diff] [blame] |
build: update waf to version 2.0.27 Change-Id: I6a35992c1c9a5dd30b6e04a8993edfafb7f358fa
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