Update build configuration files
This commit is contained in:
parent
d18bf2242f
commit
34e0ea149c
3
run
3
run
|
@ -141,7 +141,8 @@ function _run {
|
||||||
}
|
}
|
||||||
|
|
||||||
# Include any local tasks.
|
# Include any local tasks.
|
||||||
[[ -e run.local ]] && source run.local
|
# https://stackoverflow.com/a/6659698
|
||||||
|
[[ -e "${BASH_SOURCE%/*}/run.local" ]] && source "${BASH_SOURCE%/*}/run.local"
|
||||||
|
|
||||||
TIMEFORMAT=$'\nTask completed in %3lR'
|
TIMEFORMAT=$'\nTask completed in %3lR'
|
||||||
time "${@:-help}"
|
time "${@:-help}"
|
||||||
|
|
Loading…
Reference in a new issue