Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Configurable options for CodeChecker log command #38

Closed
csordasmarton opened this issue Dec 21, 2021 · 0 comments · Fixed by #108
Closed

Configurable options for CodeChecker log command #38

csordasmarton opened this issue Dec 21, 2021 · 0 comments · Fixed by #108
Assignees
Labels
Milestone

Comments

@csordasmarton
Copy link
Contributor

If no compilation database is found when the users opens a workspace this plugin will add an option to create it with the CodeChecker log command. The command what we provide for the user looks like this:

CodeChecker log --output $WORKSPACE_FOLDER/.codechecker/compile_commands.json --build "make"

The problem with this command is that it's not configurable. For example if the build command is not so simple the user always have to change this build command because the plugin will not remember to it.

To solve this problem I recommend to add an extra setting to make CodeChecker log command configurable. The default value can be --build "make".

@csordasmarton csordasmarton added this to the 0.0.2 milestone Dec 21, 2021
@Discookie Discookie self-assigned this Jan 28, 2022
@csordasmarton csordasmarton modified the milestones: 1.1.0, 1.1.1 Jan 31, 2022
@csordasmarton csordasmarton modified the milestones: 1.2.0, 1.3.0 Feb 14, 2022
@csordasmarton csordasmarton modified the milestones: 1.3.0, 1.4.0 Mar 7, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants