diff options
author | Marvin Borner | 2020-08-01 16:52:04 +0200 |
---|---|---|
committer | Marvin Borner | 2020-08-01 16:52:04 +0200 |
commit | 9a146c325ac0538be807e904d7c35d0a73f9fc5e (patch) | |
tree | 159e0da5e0297e5faec3c08e7ecc1c4e2a412c85 | |
parent | 55cada295c1be54b84fc30360134c4c73e3cacf1 (diff) |
Minor dev fixes
-rw-r--r-- | Makefile | 2 | ||||
-rwxr-xr-x | run | 2 |
2 files changed, 2 insertions, 2 deletions
@@ -7,4 +7,4 @@ compile: @$(MAKE) --no-print-directory -C apps/ clean: - @find src/ apps/ \( -name "*.o" -or -name "*.elf" \) -type f -delete + @find src/ apps/ \( -name "*.o" -or -name "*.elf" -or -name "*.bin" \) -type f -delete @@ -123,7 +123,7 @@ make_sync() { make --always-make --dry-run | grep -wE 'gcc' | grep -w '\-c' | - jq -nR '[inputs|{directory:"'"$(pwd)"'", command:., file: match(" [^ ]+$").string[1:]}]' \ + jq -nR '[inputs|{directory:"'"$(pwd)"'/src/", command:., file: match(" [^ ]+$").string[1:]}]' \ >compile_commands.json } |