Merge "Doctor doc scripts adapted to project needs"
[releng.git] / jjb / doctor / docu-verify.sh
1 #!/bin/bash
2 set -e
3 set -o pipefail
4
5 export PATH=$PATH:/usr/local/bin/
6
7 make