diff options
author | Marvin Borner | 2020-03-19 23:03:13 +0100 |
---|---|---|
committer | Marvin Borner | 2020-03-19 23:03:13 +0100 |
commit | fa70aaf6f0ded7523662eb0fd4ac53a1b23ef27f (patch) | |
tree | 98382d70c12e87e0c6d524871147d1c7c836e47b | |
parent | b76f7ed9a1728b5cbf1ca49b2cb051bd0073cae8 (diff) |
Oh well, I obviously need the directory
-rw-r--r-- | .gitignore | 2 | ||||
-rwxr-xr-x | run | 1 |
2 files changed, 1 insertions, 2 deletions
@@ -6,7 +6,7 @@ compile_commands.json .idea/ .clangd/ build/ -cmake-build-debug/ +cmake/ cross/ cross64/ iso/ @@ -156,7 +156,6 @@ make_sync() { cmake .. > /dev/null mv compile_commands.json .. cd .. - rm -rf cmake } make_clean() { |