aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMohammad Akhlaghi <mohammad@akhlaghi.org>2018-02-15 20:18:32 +0100
committerMohammad Akhlaghi <mohammad@akhlaghi.org>2018-02-15 20:18:32 +0100
commitad164841a651ccd24f1c5b9b37a72a7f8068e42f (patch)
tree9b234512b084d888fa506f6e852e734fae7f5bbc
parentd92cc415e7a290e6e2e1340665202cae79ad8c4a (diff)
Wildcard for mmap files made more generic
In some systems, the fact that `.gnuastro' and `reproduce/config/gnuastro' are the same is not recognized by Git in `.gitignore' and so the `mmap' files will be treated as un-commit files. So we now simply ignore all files starting with `mmap_*' and removed the directory information before it.
-rw-r--r--.gitignore2
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore
index 83de0ac..a6018b7 100644
--- a/.gitignore
+++ b/.gitignore
@@ -4,8 +4,8 @@
*.log
*.pdf
*.out
+mmap_*
*.auxlock
-.gnuastro/mmap_*
LOCAL_tmp.mk
LOCAL_old.mk