From f04bfa40e0a0588a2e9056fbbb50d74ba536e642 Mon Sep 17 00:00:00 2001 From: jtbaird Date: Fri, 24 Jul 2020 09:23:26 -0400 Subject: [PATCH] added release flag --- docker/install.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docker/install.sh b/docker/install.sh index d2540745..2be2616e 100755 --- a/docker/install.sh +++ b/docker/install.sh @@ -16,4 +16,4 @@ source /opt/ros/kinetic/setup.bash cd ~/ -catkin_make install \ No newline at end of file +catkin_make install -DCMAKE_BUILD_TYPE=Release \ No newline at end of file