From bc96c0139357301f53119506b471f17421054aed Mon Sep 17 00:00:00 2001 From: Manuel Binna Date: Tue, 25 Jul 2017 23:38:09 +0200 Subject: [PATCH] Treat spaces as handled config context options --- catkin_tools/context.py | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/catkin_tools/context.py b/catkin_tools/context.py index 22a9d478..b84bebf8 100644 --- a/catkin_tools/context.py +++ b/catkin_tools/context.py @@ -247,6 +247,11 @@ def __init__( space_suffix=None, whitelist=None, blacklist=None, + devel_space=None, + source_space=None, + log_space=None, + build_space=None, + install_space=None, **kwargs ): """Creates a new Context object, optionally initializing with parameters