diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Makefile b/Makefile index a8ba1826..a8478105 100644 --- a/Makefile +++ b/Makefile @@ -2,7 +2,6 @@ debug: @cmake -H. -GNinja -Bbuild -DCMAKE_BUILD_TYPE=Debug -DCMAKE_EXPORT_COMPILE_COMMANDS=1 @cmake --build build - @cp build/compile_commands.json . ci: @cmake -H. -GNinja -Bbuild -DCMAKE_BUILD_TYPE=RelWithDebInfo |