(tue-make*) Use system interpreter for catkin

Author: MatthijsBurgh

setup/tue-functions.bash

@@ -437,12 +437,12 @@ function tue-make
         fi
         case $build_tool in
         'catkin build')
-            python3 "$(command -v catkin)" build --workspace "$TUE_SYSTEM_DIR" "$@"
+            /usr/bin/python3 "$(command -v catkin)" build --workspace "$TUE_SYSTEM_DIR" "$@"
             return $?
             ;;
         '')
-            python3 "$(command -v catkin)" config --init --mkdirs --workspace "$TUE_SYSTEM_DIR" --extend /opt/ros/"$TUE_ROS_DISTRO" -DCMAKE_BUILD_TYPE=RelWithDebInfo -DCATKIN_ENABLE_TESTING=OFF
-            python3 "$(command -v catkin)" build --workspace "$TUE_SYSTEM_DIR" "$@"
+            /usr/bin/python3 "$(command -v catkin)" config --init --mkdirs --workspace "$TUE_SYSTEM_DIR" --extend /opt/ros/"$TUE_ROS_DISTRO" -DCMAKE_BUILD_TYPE=RelWithDebInfo -DCATKIN_ENABLE_TESTING=OFF
+            /usr/bin/python3 "$(command -v catkin)" build --workspace "$TUE_SYSTEM_DIR" "$@"
             touch "$TUE_SYSTEM_DIR"/devel/.catkin # hack to allow overlaying to this ws while being empty
             ;;
         *)
@@ -488,7 +488,7 @@ function tue-make-test
         fi
         case ${build_tool} in
         'catkin build')
-            python3 "$(command -v catkin)" test --workspace "${TUE_SYSTEM_DIR}" "$@"
+            /usr/bin/python3 "$(command -v catkin)" test --workspace "${TUE_SYSTEM_DIR}" "$@"
             return $?
             ;;
         '')