From 9265f87031cdbd5421487fb35441fdfec69a0947 Mon Sep 17 00:00:00 2001 From: Mike Purvis Date: Thu, 13 Apr 2017 18:02:56 -0400 Subject: [PATCH 1/2] Specify return code when build interrupted. --- catkin_tools/verbs/catkin_build/build.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/catkin_tools/verbs/catkin_build/build.py b/catkin_tools/verbs/catkin_build/build.py index ce502f0b..b62e526d 100644 --- a/catkin_tools/verbs/catkin_build/build.py +++ b/catkin_tools/verbs/catkin_build/build.py @@ -576,6 +576,8 @@ def build_isolated_workspace( except KeyboardInterrupt: wide_log("[build] Interrupted by user!") event_queue.put(None) + + return 130 # EOWNERDEAD return code is not part of the errno module. def _create_unmerged_devel_setup(context, unbuilt): From f52592d916e702b687ee7ebc744e5f86d5d24df4 Mon Sep 17 00:00:00 2001 From: William Woodall Date: Thu, 13 Apr 2017 15:59:57 -0700 Subject: [PATCH 2/2] [style] whitespace --- catkin_tools/verbs/catkin_build/build.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/catkin_tools/verbs/catkin_build/build.py b/catkin_tools/verbs/catkin_build/build.py index b62e526d..1d5f1e41 100644 --- a/catkin_tools/verbs/catkin_build/build.py +++ b/catkin_tools/verbs/catkin_build/build.py @@ -576,7 +576,7 @@ def build_isolated_workspace( except KeyboardInterrupt: wide_log("[build] Interrupted by user!") event_queue.put(None) - + return 130 # EOWNERDEAD return code is not part of the errno module.