Update build configuration files
This commit is contained in:
parent
0395b68d33
commit
97b8977c17
3
run
3
run
|
@ -121,7 +121,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