aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorThomas Voss <mail@thomasvoss.com> 2024-08-04 01:15:36 +0200
committerThomas Voss <mail@thomasvoss.com> 2024-08-04 01:15:36 +0200
commit704f15f68770b047b2106966dd8bc9be46fc55f4 (patch)
treed086e9099698b89e029c668af21a9d31541a3397
parent88c3d2a1c8ce5d2076d8088f424ef2ce96e1cf6a (diff)
Correct false comments
-rw-r--r--.gitignore6
1 files changed, 4 insertions, 2 deletions
diff --git a/.gitignore b/.gitignore
index ad32da2..40ab27d 100644
--- a/.gitignore
+++ b/.gitignore
@@ -11,7 +11,9 @@ oryx
# Test files. Partially autogenerated with the following:
#
-# ./make; find test -type f -executable
+# ./make
+# find test -type f -executable -not -name '*.sh' \
+# >>.gitignore
#
test.*
test/arena
@@ -19,7 +21,7 @@ test/arena
# Compilation artifacts of GNU MP. Autogenerated with the following:
#
# git status --porcelain | sed -n '/^?? vendor/s/?? //p' \
-# >>.3.0/.gitignore
+# >>.gitignore
#
vendor/gmp-6.3.0/.libs/
vendor/gmp-6.3.0/Makefile