diff --git a/catkin_tools/verbs/catkin_build/build.py b/catkin_tools/verbs/catkin_build/build.py index ce502f0b..1d5f1e41 100644 --- a/catkin_tools/verbs/catkin_build/build.py +++ b/catkin_tools/verbs/catkin_build/build.py @@ -577,6 +577,8 @@ def build_isolated_workspace( 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): # Find all of the leaf packages in the workspace