diff options
Diffstat (limited to 'build/catkin_generated/env_cached.sh')
| -rwxr-xr-x | build/catkin_generated/env_cached.sh | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/build/catkin_generated/env_cached.sh b/build/catkin_generated/env_cached.sh deleted file mode 100755 index d6be91db5..000000000 --- a/build/catkin_generated/env_cached.sh +++ /dev/null @@ -1,16 +0,0 @@ -#!/usr/bin/env sh -# generated from catkin/cmake/templates/env.sh.in - -if [ $# -eq 0 ] ; then - /bin/echo "Usage: env.sh COMMANDS" - /bin/echo "Calling env.sh without arguments is not supported anymore. Instead spawn a subshell and source a setup file manually." - exit 1 -fi - -# ensure to not use different shell type which was set before -CATKIN_SHELL=sh - -# source setup_cached.sh from same directory as this file -_CATKIN_SETUP_DIR=$(cd "`dirname "$0"`" > /dev/null && pwd) -. "$_CATKIN_SETUP_DIR/setup_cached.sh" -exec "$@" |