10 Commits

Author SHA1 Message Date
91e1d0ab80 Update release process files 2024-06-27 22:20:19 -05:00
00dc55b8a2 Fix usage info in .tools/make-tar.sh 2023-08-08 10:29:09 +02:00
e3ce9d7f1a Adjustments to the make-tar.sh script 2022-09-07 16:57:09 -05:00
c465354c67 Set next development version 2020-08-14 13:25:40 -07:00
aee99a5987 Update version numbers for release 2020-07-26 14:39:02 -07:00
4eb8ea33ea make-tar add -v and -d arguments
Add -d developer mode to permit export of
branches and raw revisions.

Switch to bash for builtin getopts
2020-06-19 20:17:14 -07:00
0bfe0eda0c Update the things to skip in make-tar.sh 2020-05-28 21:18:28 -05:00
86138fdd23 Fix make-tar.sh to work on MacOS too
The BSD version of tar doesn't support -a, and
requires -T instead of --files-from.
2019-05-09 11:51:26 -05:00
89da4130fc make-tar.sh allow HEAD for testing 2019-03-18 13:49:25 -07:00
3f5c48d942 rename .ci/make-tar.sh -> .tools/make-tar.sh 2018-02-26 10:43:47 -08:00