| Davide Pesavento | 29db0fd | 2017-08-29 13:32:00 -0400 | [diff] [blame] | 1 | #!/usr/bin/env bash |
| 2 | set -e | ||||
| 3 | set -x | ||||
| 4 | |||||
| 5 | sudo env "PATH=$PATH" ./waf --color=yes distclean | ||||
| 6 | |||||
| 7 | ./waf --color=yes configure | ||||
| 8 | ./waf --color=yes build -j${WAF_JOBS:-1} | ||||
| 9 | |||||
| 10 | sudo env "PATH=$PATH" ./waf --color=yes install | ||||