From 33a607567f2aaca68f1277a833e9f0a27a707d0e Mon Sep 17 00:00:00 2001
From: jtbaird <john.baird@leidos.com>
Date: Tue, 28 Jul 2020 08:50:17 -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 d95f9108..fb03f04c 100755
--- a/docker/install.sh
+++ b/docker/install.sh
@@ -17,4 +17,4 @@
 sudo chmod -R +x /opt/carma/install
 source /opt/ros/kinetic/setup.bash
 cd ~/
-catkin_make install
+catkin_make install -DCMAKE_BUILD_TYPE=Release