| Davide Pesavento | 29db0fd | 2017-08-29 13:32:00 -0400 | [diff] [blame] | 1 | #!/usr/bin/env bash |
| 2 | set -e |
| Davide Pesavento | 7eaed5c | 2019-01-09 20:03:43 -0500 | [diff] [blame] | 3 | |
| 4 | JDIR=$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd ) |
| 5 | source "$JDIR"/util.sh |
| 6 | |
| Davide Pesavento | 29db0fd | 2017-08-29 13:32:00 -0400 | [diff] [blame] | 7 | set -x |
| 8 | |
| Davide Pesavento | 7eaed5c | 2019-01-09 20:03:43 -0500 | [diff] [blame] | 9 | sudo_preserve_env PATH -- ./waf --color=yes distclean |
| Davide Pesavento | 29db0fd | 2017-08-29 13:32:00 -0400 | [diff] [blame] | 10 | |
| 11 | ./waf --color=yes configure |
| 12 | ./waf --color=yes build -j${WAF_JOBS:-1} |
| 13 | |
| Davide Pesavento | 7eaed5c | 2019-01-09 20:03:43 -0500 | [diff] [blame] | 14 | sudo_preserve_env PATH -- ./waf --color=yes install |