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