/usr/share/catkin/cmake/shell.cmake is in catkin 0.6.16-4.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 | function(shell arg1)
set(cmd ${arg1})
foreach(arg ${ARGN})
set(cmd "${cmd} ${arg}")
endforeach()
execute_process(COMMAND ${arg1} ${ARGN}
RESULT_VARIABLE res
OUTPUT_VARIABLE out
ERROR_VARIABLE out)
if(res EQUAL 0)
debug_message(2 "execute_process(${cmd}) succeeded returning: ${out}")
else()
message(FATAL_ERROR "execute_process(${cmd})\n***FAILED with ERROR:***\n${out}")
endif()
endfunction()
|