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 | |
| 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.
| -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 | 
