Rename makedist to make-release
This commit is contained in:
parent
04b878f078
commit
d615b5d695
2 changed files with 2 additions and 2 deletions
15
script/make-release
Executable file
15
script/make-release
Executable file
|
|
@ -0,0 +1,15 @@
|
|||
#!/usr/bin/env bash
|
||||
# -*- mode: sh -*-
|
||||
|
||||
set -e
|
||||
base=$(readlink -f $(dirname "$0")/..)
|
||||
make -C "${base}" build >/dev/null
|
||||
version=$(${base}/build/annotator --short-version)
|
||||
release=annotator-${version}
|
||||
out=${base}/dist/${release}
|
||||
pkg=${out}.tar.gz
|
||||
make -C "${base}" install DESTDIR=${out} >/dev/null
|
||||
pushd ${base}/dist >/dev/null
|
||||
tar cfz ${pkg}.tar.gz ${release}
|
||||
popd >/dev/null
|
||||
echo created release for version ${version}: ${pkg}
|
||||
Loading…
Add table
Add a link
Reference in a new issue