Skip to content

Instantly share code, notes, and snippets.

@AlexisTM

AlexisTM/merge.sh

Created November 24, 2020 13:53
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save AlexisTM/a6bb5ee488611e15114aa190b6f79404 to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save AlexisTM/a6bb5ee488611e15114aa190b6f79404 to your computer and use it in GitHub Desktop.
Download ZIP

Revisions

  1. AlexisTM created this gist Nov 24, 2020.
    5 changes: 5 additions & 0 deletions merge.sh
    View file
    Original file line number Diff line number Diff line change
    @@ -0,0 +1,5 @@
    # This is to be used with catkin_make or catkin_tools if we want to merge compile_commands.txt in a single file to allow some tools to work such as Sourcetail.

    sudo apt install jq

    jq -s 'map(.[])' PATH_TO_COMPILE_COMMANDS_ROOT/**/compile_commands.json > compile_commands.json