Should the command catkin config -p 2 add something to the profiles config.yaml file?

[Levi-Armstrong]

System Info

• Operating System: 4.4.0-31-generic build: Overlay package isn't used by a dependent package if the dependent package has already been configured against system package #50~14.04.1-Ubuntu SMP Wed Jul 13 01:07:32 UTC 2016 x86_64 x86_64 x86_64 GNU/Linux
• Python Version: Python 2.7.6
• Version of catkin_tools: catkin_tools 0.4.2
• ROS Distro: Indigo

Build / Run Issue

When executing the command below I would have expected something in the profile's config.yaml file to change.
catkin config -p 2

Expected Behavior

I would of expected something to be added to the profile config.yaml similar to when using the -j option.

Actual Behavior

Nothing in the profile's config.yaml file changes.

[wjwwood]

Looks like a bug. I would expect -p 2 when passed to catkin config to change the settings, but when passed to catkin build to be a temporary override of that.

[Levi-Armstrong]

@wjwwood: What should be added to the config file? Should the list where the -j N option is added be appended with the -p N flag also?

[wjwwood]

I'm not sure exactly what should be added. @jbohren wrote this part of the code IIRC.

[NikolausDemmel]

What should be added to the config file? Should the list where the -j N option is added be appended with the -p N flag also?

I'm also not sure without looking further into the code, but I would assume that the make_args list ist not the place to -p N, since -p is parallelism by catkin build itself, and is not passed to make. My wild guess is that it should be a separate entry in the config dictionary.