From 656dabbfc9a4e25c54a07b027275dda0f2b483e6 Mon Sep 17 00:00:00 2001 From: Lucas Walter Date: Sat, 27 Apr 2024 18:06:42 -0700 Subject: [PATCH] can use main catkin_tools now --- ubuntu_2204/Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ubuntu_2204/Dockerfile b/ubuntu_2204/Dockerfile index 7247eab..f4abef1 100644 --- a/ubuntu_2204/Dockerfile +++ b/ubuntu_2204/Dockerfile @@ -40,7 +40,7 @@ RUN ls -l RUN python3 setup.py install --prefix=$DEST --record install_manifest.txt --single-version-externally-managed WORKDIR $SRC -RUN git clone https://github.com/lucasw/catkin_tools.git --branch sanitize_cmake_prefix_path +RUN git clone https://github.com/catkin/catkin_tools.git WORKDIR $SRC/catkin_tools RUN python3 setup.py install --prefix=$DEST --record install_manifest.txt --single-version-externally-managed