| commit | 29db0fd994138d31b17e7a01faef3bfbdbd43538 | [log] [tgz] |
|---|---|---|
| author | Davide Pesavento <davide.pesavento@lip6.fr> | Tue Aug 29 13:32:00 2017 -0400 |
| committer | Davide Pesavento <davide.pesavento@lip6.fr> | Sat Sep 02 22:31:55 2017 -0400 |
| tree | 82c5606c8f9233e3b7838d9c5305a07c76b5edb7 | |
| parent | 9a47123529eedea2e51f0cf72160ae419ad8e582 [diff] [blame] |
Sync build system and CI scripts with ndn-tools Change-Id: I21dc5349f3f3c819bf8590fe709157ce0bc26b44
diff --git a/.jenkins.d/10-build.sh b/.jenkins.d/10-build.sh new file mode 100755 index 0000000..5a8a7f5 --- /dev/null +++ b/.jenkins.d/10-build.sh
@@ -0,0 +1,10 @@ +#!/usr/bin/env bash +set -e +set -x + +sudo env "PATH=$PATH" ./waf --color=yes distclean + +./waf --color=yes configure +./waf --color=yes build -j${WAF_JOBS:-1} + +sudo env "PATH=$PATH" ./waf --color=yes install