diff options
author | Jakob Unterwurzacher | 2017-11-01 20:05:15 +0100 |
---|---|---|
committer | Jakob Unterwurzacher | 2017-11-01 20:05:15 +0100 |
commit | 843138168ff381b81fb0774cdb563937d9fff7a1 (patch) | |
tree | a34981f5a5f263c1f586002cddb870bb8ca1179f /package-source.bash | |
parent | 5428567fa09019cb844c59700d7ffc2a49719f51 (diff) |
package-source.bash: replace plus sign in file name
Plus signs are apparently not supported on github,
and replaced by a dot.
Diffstat (limited to 'package-source.bash')
-rwxr-xr-x | package-source.bash | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/package-source.bash b/package-source.bash index 4d5cf20..313b59e 100755 --- a/package-source.bash +++ b/package-source.bash @@ -16,7 +16,7 @@ git_archive_extra() { cd "$(dirname "$0")" GITVERSION=$(git describe --tags --dirty) -PREFIX=gocryptfs_${GITVERSION}_src+deps +PREFIX=gocryptfs_${GITVERSION}_src-deps dep ensure echo $GITVERSION > VERSION |