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-05-07 08:41:46 -0400 |
commit | 23b6480f40d118402d06978b5014cdff21d66ab6 (patch) | |
tree | adc727159d9cc815f127c08792da98fe338ee449 /configs | |
parent | e5aea225483d559c15a5667e36439babf58b75a7 (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 49d5fb2..30fbc41 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 } |