Update build configuration files

2024-07-31 01:22:06 +01:00 · 2024-07-31 01:22:06 +01:00 · a54228b5d0
parent 9d7a92c0df
commit a54228b5d0
1 changed files with 2 additions and 1 deletions
--- a/3
+++ b/3
@ -35,7 +35,8 @@ function start {
 }

 # 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="Task completed in %3lR"
 time "${@:-help}"