| Commit message (Collapse) | Author | Age | Files | Lines |
| |
|
|
|
|
| |
(also, rename archives to util)
|
| |
|
|
|
|
| |
Just mkdir -p release/dir/
|
|
|
|
|
| |
Without the -R, deleting the directory (*_src/) would result in
confirmation dialogues for every file.
|
|
|
|
|
| |
The quotes meant that it was literally trying to delete a file
with * in the file name, while this is not what we want.
|
|
|
|
|
|
| |
Currently, if you set version in filenames, old archives without
a version in the filename are not being deleted. (and vice versa).
This patch fixes that.
|
|
|
|
| |
Accidentally forgot to add this.
|
| |
|
|
This new script:
* Doesn't generate a manifest.
* Changes directories as little as possible.
* Uses git-describe to generate a version string instead of getting
the HEAD commit ID from the master branch (which assumed the release
was being made from master).
* Optionally includes a version string in the archive file name.
|