Update makefile
This commit is contained in:
parent
1bd02ef56c
commit
bb2f0e4dd1
2
Makefile
2
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
|
||||
|
Loading…
x
Reference in New Issue
Block a user