Merge pull request #4153 from MilhouseVH/le10_fix_dashboard

tools/dashboard: stop creating empty Generic build dir
This commit is contained in:
Jernej Škrabec 2020-01-26 22:48:07 +01:00 committed by GitHub
commit c9b380846b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -5,6 +5,8 @@
cd "$(readlink -f "$(dirname "$0")")/.."
export _CACHE_PACKAGE_LOCAL=none _CACHE_PACKAGE_GLOBAL=none _DEBUG_DEPENDS_LIST=none DEFAULT_PYTHON_VERSION=none
if [ -n "${PROJECT}" -a "$1" != "auto" ]; then
# loads project config and sets THREAD_CONTROL
. config/options ""