Update build configuration files

This commit is contained in:
Oliver Davies 2024-07-31 01:21:54 +01:00
parent ad3e94543e
commit 34eff4ef8b

3
run
View file

@ -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}"