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> | 2020-03-27 19:32:36 -0400 |
commit | 100839d32ddc0737885685bdec5576a824f89e33 (patch) | |
tree | a24b8c67a3018c39320619f5f5c0d334249107a8 /configs | |
parent | aad5fe1604829626e55ef8c5db231bce65baab04 (diff) |
trace run_once
Diffstat (limited to 'configs')
-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 3a49a8a..9e19cc1 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 } |