From 254a520e191edecafcc24a252db2f5e45ade65a1 Mon Sep 17 00:00:00 2001 From: TSC21 Date: Sat, 6 Oct 2018 16:24:05 +0100 Subject: [PATCH] make the build stop in case of an error on the RTPS generation scripts --- src/modules/micrortps_bridge/micrortps_client/CMakeLists.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/modules/micrortps_bridge/micrortps_client/CMakeLists.txt b/src/modules/micrortps_bridge/micrortps_client/CMakeLists.txt index 03cecc0e80..7a20638717 100644 --- a/src/modules/micrortps_bridge/micrortps_client/CMakeLists.txt +++ b/src/modules/micrortps_bridge/micrortps_client/CMakeLists.txt @@ -83,7 +83,7 @@ if (NOT "${config_rtps_send_topics}" STREQUAL "" OR NOT "${config_rtps_receive_t --agent-outdir ${CMAKE_CURRENT_BINARY_DIR}/micrortps_agent --client-outdir ${CMAKE_CURRENT_BINARY_DIR}/micrortps_client --idl-dir ${CMAKE_CURRENT_BINARY_DIR}/micrortps_agent/idl - >micrortps_bridge.log 2>&1 || cat micrortps_bridge.log # quiet successful build output + >micrortps_bridge.log > /dev/null DEPENDS ${send_topic_files} ${receive_topic_files} COMMENT "Generating RTPS topic bridge" )