You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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:
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".
The text was updated successfully, but these errors were encountered:
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"
.The text was updated successfully, but these errors were encountered: