diff options
author | bill-auger <mr.j.spam.me@gmail.com> | 2018-04-22 23:51:07 -0400 |
---|---|---|
committer | bill-auger <mr.j.spam.me@gmail.com> | 2019-10-19 14:04:05 -0400 |
commit | fda94b076ddbc21d688b3c45c113c93bcd5bb000 (patch) | |
tree | 50757d2c4ebbd7ed5af73cbd769c99b139d9db2d | |
parent | 4a3067c8bfbdbdc556fbed3e47129d29166afedb (diff) |
trace run_once
-rwxr-xr-x | configs/profile/build.sh | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/configs/profile/build.sh b/configs/profile/build.sh index bbaf870..6537010 100755 --- a/configs/profile/build.sh +++ b/configs/profile/build.sh @@ -61,12 +61,18 @@ _usage () exit ${1} } +LOG_STEP() { printf "\033[01;34m%s\033[00m\n" "$(echo -e $*)" ; } +LOG_ERROR() { printf "\033[00;31m%s\033[00m\n" "$(echo -e $*)" ; } + # Helper function to run make_*() only one time per architecture. run_once() { - if [[ ! -e ${work_dir}/build.${1}_${arch} ]]; then + local buid_stamp="build.${1}_${arch}" + + if [[ ! -e ${work_dir}/${buid_stamp} ]]; then + LOG_STEP "runnning build step: '${buid_stamp}'" $1 - touch ${work_dir}/build.${1}_${arch} + touch ${work_dir}/${buid_stamp} fi } |