tree 82c5606c8f9233e3b7838d9c5305a07c76b5edb7
parent 9a47123529eedea2e51f0cf72160ae419ad8e582
author Davide Pesavento <davide.pesavento@lip6.fr> 1504027920 -0400
committer Davide Pesavento <davide.pesavento@lip6.fr> 1504405915 -0400

Sync build system and CI scripts with ndn-tools

Change-Id: I21dc5349f3f3c819bf8590fe709157ce0bc26b44