Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fixed 'pip install --user catkin_tools' (#488)
pip passes `--user --prefix=` when the user calls `pip install --user`, which conflicted with the mutually_exclusive_group being used to parse these arguments. The mutually_exclusive_group is not necessary since pip prevents the user from passing `--user` together with `--prefix` anyhow. By not checking it here again, we can accept pip passing `--user --prefix=` to us.
- Loading branch information