Newer
Older
#!/usr/bin/env bash
set -e
if [[ "$#" == 0 ]]; then
echo "usage: $0 <sourcedir> <compile_commands_file>"
exit 1
fi
script_dir="$(dirname "$0")"
source_dir="$1"
build_dir="$2"
output="$3"
jq -f "$script_dir/compile_commands.jq" "$build_dir/compile_commands.json" >"$source_dir/compile_commands.json"
if [[ "$output" != "" ]]; then
touch "$output"
fi