reset CATKIN_SHELL in devel space generated env.sh files, second loca…

…tion (#655)
ros · Jun 15, 2014 · cf32d59 · cf32d59
1 parent 1474f72
commit cf32d59
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/cmake/templates/env.sh.in b/cmake/templates/env.sh.in
@@ -7,6 +7,9 @@ if [ $# -eq 0 ] ; then
   exit 1
 fi
 
+# ensure to not use different shell type which was set before
+CATKIN_SHELL=sh
+
 # source @[email protected] from same directory as this file
 _CATKIN_SETUP_DIR=$(cd "`dirname "$0"`" > /dev/null && pwd)
 . "$_CATKIN_SETUP_DIR/@[email protected]"