aboutsummaryrefslogtreecommitdiffstatshomepage
diff options
context:
space:
mode:
authorLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2021-04-10 14:34:44 +0200
committerLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2021-04-13 18:25:43 +0200
commit4806f30a473ca70ffee3b10136f7ee8ea2b36f6f (patch)
treec91b9d41f117359793f94194aed4b954112e1f59
parentf7eb2ea83b2ba26032ad0f9d216dda8780165b95 (diff)
downloadsparse-4806f30a473ca70ffee3b10136f7ee8ea2b36f6f.tar.gz
.gitignore is a bit too greedy
The current .gitignore specifies that the generated programs must be ignored. Good. However, this is done by just specifying the name of the program which has the effect of having any files or directories with the same name to be ignored too. This is not intended. Fix this using the pattern '/<name>' instead so that they match in the root folder. Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
-rw-r--r--.gitignore34
1 files changed, 17 insertions, 17 deletions
diff --git a/.gitignore b/.gitignore
index 63c74afd..6a28fa50 100644
--- a/.gitignore
+++ b/.gitignore
@@ -8,25 +8,25 @@
.*.swp
# generated
-version.h
+/version.h
# programs
-c2xml
-compile
-ctags
-example
-graph
-obfuscate
-sparse
-sparse-llvm
-semind
-test-dissect
-test-inspect
-test-lexing
-test-linearize
-test-parsing
-test-show-type
-test-unssa
+/c2xml
+/compile
+/ctags
+/example
+/graph
+/obfuscate
+/semind
+/sparse
+/sparse-llvm
+/test-dissect
+/test-inspect
+/test-lexing
+/test-linearize
+/test-parsing
+/test-show-type
+/test-unssa
# tags
tags