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> | 2018-07-02 10:50:23 -0400 |
commit | 7ca2cfee88594abf74a5b05579c7e941c0eb34ef (patch) | |
tree | 56f5f22f27abc35ca8fccc4f8bee3a8ef1f5dd8c /configs | |
parent | 9be34c644f85853c621509ba3af23fd26e33f2fd (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 40b5404..e61472c 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 } |