Revision 3719a40a ide/idesetup.sh

View differences:

ide/idesetup.sh
106 106 
#                 No error or warning occurred.
107 107 
#
108 108 
function quitScript {
109 
  printLog "exiting $(realpath ${BASH_SOURCE[0]})\n"
109 
  printInfo "exiting $(realpath ${BASH_SOURCE[0]})\n"
110 
  printf "\n"
110 111 
  printf "######################################################################\n"
111 112 
  exit 0
112 113 
}

Also available in: Unified diff