diff options
-rw-r--r-- | bashrc | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -115,9 +115,9 @@ build() { CCACHE_BASEDIR=$(git root) nice -n5 b2 -j$TASKS $@ rtn=$? if [ $rtn -eq 0 ]; then - title "Build success ${PWD/#$HOME/\~}" + title "✔ ${PWD/#$HOME/\~} $@" else - title "Build failed ${PWD/#$HOME/\~}" + title "✘ ${PWD/#$HOME/\~} $@" fi return $rtn } |