Update build configuration files
This commit is contained in:
parent
064df3c33e
commit
bcb2ec9131
1 changed files with 2 additions and 1 deletions
3
run
3
run
|
@ -141,7 +141,8 @@ function _run {
|
|||
}
|
||||
|
||||
# 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'
|
||||
time "${@:-help}"
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue