From bb2f0e4dd1ad5885db68ab9b009720f7ae8b0bf1 Mon Sep 17 00:00:00 2001 From: John Zhao Date: Wed, 7 Nov 2018 14:37:03 +0800 Subject: [PATCH] Update makefile --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 2536152..fc7c86d 100644 --- a/Makefile +++ b/Makefile @@ -184,7 +184,7 @@ cleanpkg: ros: install @$(call echo,Make $@) ifeq ($(HOST_OS),Linux) - @cd ./wrappers/ros && catkin_make + @cd ./wrappers/ros && catkin_make -DCMAKE_BUILD_TYPE=$(BUILD_TYPE) else $(error "Can't make ros on $(HOST_OS)") endif