summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorDirk-Jan C. Binnema <djcb@djcbsoftware.nl>2023-10-14 16:22:31 +0300
committerDirk-Jan C. Binnema <djcb@djcbsoftware.nl>2023-10-14 16:25:58 +0300
commitd8c224ae8e8f00c6f895e108c00961cc98456d5d (patch)
treeae735ac5756c12dc3d08be911816dd8a9672b15b /.gitignore
parent967b724e75469e63a123b4123f4d02c65034a0cb (diff)
build: use date.py instead of date
MacOS (and others) "date" command don't support all the options that GNU date has. So don't depend on that, add a small python program for this.
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore1
1 files changed, 0 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore
index 88ee280..7d785f6 100644
--- a/.gitignore
+++ b/.gitignore
@@ -105,7 +105,6 @@ configure.lineno
/lib/doxyfile
/version.texi
/compile
-build-aux/
/TAGS
parse