aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-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