Set ROS_OS_OVERRIDE

This commit is contained in:
Oleg Kalachev
2024-04-05 14:33:37 +03:00
parent f5a7dc2b94
commit 90d447734d

View File

@@ -24,6 +24,7 @@ NUMBER_THREADS=$5
# Current ROS distribution
ROS_DISTRO=noetic
. /etc/os-release # set $VERSION_CODENAME to Debian release code name
export ROS_OS_OVERRIDE=debian:$VERSION_CODENAME
echo_stamp() {
# TEMPLATE: echo_stamp <TEXT> <TYPE>