2
1

brmake 790 B

12345678910111213141516171819202122232425262728293031323334353637
  1. #!/bin/bash
  2. # (C) 2016, "Yann E. MORIN" <yann.morin.1998@free.fr>
  3. # License: WTFPL, https://spdx.org/licenses/WTFPL.html
  4. main() {
  5. local ret start d h m mf
  6. start=${SECONDS}
  7. make "${@}" \
  8. &> >( while read -r line; do
  9. printf "%(%Y-%m-%dT%H:%M:%S)T %s\n" -1 "${line}"
  10. done \
  11. |tee -a br.log \
  12. |grep --colour=never -E '>>>'
  13. )
  14. ret=${?}
  15. d=$((SECONDS-start))
  16. printf "Done in "
  17. h=$((d/3600))
  18. d=$((d%3600))
  19. [ ${h} -eq 0 ] || { printf "%dh " ${h}; mf="02"; }
  20. m=$((d/60))
  21. d=$((d%60))
  22. [ ${m} -eq 0 ] || { printf "%${mf}dmin " ${m}; sf="02"; }
  23. printf "%${sf}ds" ${d}
  24. if [ ${ret} -ne 0 ]; then
  25. printf " (error code: %s)" ${ret}
  26. fi
  27. printf "\n"
  28. return ${ret}
  29. }
  30. main "${@}"