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.
2023-10-14 16:22:31 +03:00
parent 967b724e75
commit d8c224ae8e
3 changed files with 17 additions and 9 deletions
--- a/.gitignore
+++ b/.gitignore
@ -105,7 +105,6 @@ configure.lineno
 /lib/doxyfile
 /version.texi
 /compile
-build-aux/
 /TAGS
 parse