env_cached.sh 520 B

12345678910111213141516
  1. #!/usr/bin/env sh
  2. # generated from catkin/cmake/templates/env.sh.in
  3. if [ $# -eq 0 ] ; then
  4. /bin/echo "Usage: env.sh COMMANDS"
  5. /bin/echo "Calling env.sh without arguments is not supported anymore. Instead spawn a subshell and source a setup file manually."
  6. exit 1
  7. fi
  8. # ensure to not use different shell type which was set before
  9. CATKIN_SHELL=sh
  10. # source setup_cached.sh from same directory as this file
  11. _CATKIN_SETUP_DIR=$(cd "`dirname "$0"`" > /dev/null && pwd)
  12. . "$_CATKIN_SETUP_DIR/setup_cached.sh"
  13. exec "$@"