diff options
Diffstat (limited to 'packaging/package_debian.sh')
| -rwxr-xr-x | packaging/package_debian.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/packaging/package_debian.sh b/packaging/package_debian.sh index f583ce4..59f5774 100755 --- a/packaging/package_debian.sh +++ b/packaging/package_debian.sh @@ -2,6 +2,8 @@ set -x set -o pipefail +FEATURES="--features guile,readline" + tmpdir=$(mktemp -d) dir="${tmpdir}/skaldpress" @@ -10,7 +12,7 @@ origdir="$(pwd)" mkdir -p ${dir} rm -r ${dir} mkdir -p ${dir} -cargo build --features guile --release +cargo build $FEATURES --release bindir=${dir}/usr/local/bin mkdir -p ${bindir} |