Revision 93933a75

View differences:

tools/bash/setuplib.sh
100 100 
#                 No error or warning occurred.
101 101 
#
102 102 
function quitScript {
103 
  printInfo "exiting $(realpath ${BASH_SOURCE[0]})\n"
104 
  printf "\n"
103 
  if [ ! -z ${BASH_SOURCE[1]} ]; then
104 
    printInfo "exiting $(realpath --relative-to="${PWD}" "${BASH_SOURCE[1]}")\n"
105 
    printf "\n"
106 
  fi
105 107 
  printf "######################################################################\n"
106 108 
  exit 0
107 109 
}

Also available in: Unified diff