diff options
Diffstat (limited to 'share')
| -rwxr-xr-x | share/tools/dobuild.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/share/tools/dobuild.sh b/share/tools/dobuild.sh index b83e00f0d1..c5752a3340 100755 --- a/share/tools/dobuild.sh +++ b/share/tools/dobuild.sh @@ -39,6 +39,10 @@ # WARNING! This script depend on dobuild_wrap.sh setting the # configuration variables in the enviroment. # +if [ -f "${PWD}/local.conf" ]; then + . ${PWD}/local.conf +fi + if [ -z "${DOBUILDWRAP}" ]; then echo "Error: This script should only be called from dobuild_wrap.sh!" exit 1 |