diff options
author | Pierre Schmitz <pierre@archlinux.de> | 2017-04-15 14:37:49 +0200 |
---|---|---|
committer | Pierre Schmitz <pierre@archlinux.de> | 2017-04-15 14:37:49 +0200 |
commit | 446edc13a9b3e354f93f05bf46be484a5d5f10e7 (patch) | |
tree | 54fb1cf6b26620cf51cabdbcb498ae60908d4731 /config | |
parent | 282bf65c81e278b9237b4c202d325642bc0aa1a3 (diff) |
Run tests using docker
Diffstat (limited to 'config')
-rw-r--r-- | config | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -34,4 +34,5 @@ SRCEXT=".src.tar.gz" ALLOWED_LICENSES=('GPL' 'GPL1' 'GPL2' 'LGPL' 'LGPL1' 'LGPL2' 'LGPL2.1') # Override default config with config.local -[ -f "$(dirname ${BASH_SOURCE[0]})/config.local" ] && . "$(dirname ${BASH_SOURCE[0]})/config.local" +LOCAL_CONFIG=${DBSCRIPTS_CONFIG:-"$(dirname ${BASH_SOURCE[0]})/config.local"} +[ -f "${LOCAL_CONFIG}" ] && . "${LOCAL_CONFIG}" |