From a12bb447e4b545d308c2769e4176764d560dfbfd Mon Sep 17 00:00:00 2001 From: Peter Johnson Date: Sun, 29 Dec 2019 13:12:00 -0600 Subject: [PATCH] Fail cmake build if python3 generate_numbers.py fails (#2203) --- wpiutil/CMakeLists.txt | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/wpiutil/CMakeLists.txt b/wpiutil/CMakeLists.txt index 93e0191158..559c8ed52f 100644 --- a/wpiutil/CMakeLists.txt +++ b/wpiutil/CMakeLists.txt @@ -62,7 +62,10 @@ if (NOT WITHOUT_JAVA) set(CMAKE_JAVA_INCLUDE_PATH wpiutil.jar ${EJML_JARS}) - execute_process(COMMAND python3 ${CMAKE_SOURCE_DIR}/wpiutil/generate_numbers.py ${CMAKE_BINARY_DIR}/wpiutil) + execute_process(COMMAND python3 ${CMAKE_SOURCE_DIR}/wpiutil/generate_numbers.py ${CMAKE_BINARY_DIR}/wpiutil RESULT_VARIABLE generateResult) + if(NOT (generateResult EQUAL "0")) + message(FATAL_ERROR "python3 generate_numbers.py failed") + endif() set(CMAKE_JNI_TARGET true)