aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMarvin Borner2020-03-19 23:03:13 +0100
committerMarvin Borner2020-03-19 23:03:13 +0100
commitfa70aaf6f0ded7523662eb0fd4ac53a1b23ef27f (patch)
tree98382d70c12e87e0c6d524871147d1c7c836e47b
parentb76f7ed9a1728b5cbf1ca49b2cb051bd0073cae8 (diff)
Oh well, I obviously need the directory
-rw-r--r--.gitignore2
-rwxr-xr-xrun1
2 files changed, 1 insertions, 2 deletions
diff --git a/.gitignore b/.gitignore
index 079a0e7..c3e589f 100644
--- a/.gitignore
+++ b/.gitignore
@@ -6,7 +6,7 @@ compile_commands.json
.idea/
.clangd/
build/
-cmake-build-debug/
+cmake/
cross/
cross64/
iso/
diff --git a/run b/run
index 3c2e43e..23ce208 100755
--- a/run
+++ b/run
@@ -156,7 +156,6 @@ make_sync() {
cmake .. > /dev/null
mv compile_commands.json ..
cd ..
- rm -rf cmake
}
make_clean() {