tree 67efe55d416166dba65055e42520d7ecd441c88a
parent 36706835c62c85ddb010bc38205f890a5b8a746f
author Davide Pesavento <davidepesa@gmail.com> 1571193605 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1571193605 -0400

build: sync build scripts with ndn-cxx

Change-Id: Ic1c7df3f2cf475d301c4943b7e0ec57c75103613