mirror of
https://github.com/sharkdp/fd
synced 2024-09-30 04:55:28 +00:00
Added gcc_prefix to make_deb() function.
This commit is contained in:
parent
1ce2add943
commit
040c57e007
5
ci/before_deploy.bash
vendored
5
ci/before_deploy.bash
vendored
|
@ -57,6 +57,7 @@ make_deb() {
|
|||
local conflictname
|
||||
local homepage
|
||||
local maintainer
|
||||
local gcc_prefix
|
||||
|
||||
homepage="https://github.com/sharkdp/fd"
|
||||
maintainer="David Peter <mail@david-peter.de>"
|
||||
|
@ -64,9 +65,11 @@ make_deb() {
|
|||
case $TARGET in
|
||||
x86_64*)
|
||||
architecture=amd64
|
||||
gcc_prefix=""
|
||||
;;
|
||||
i686*)
|
||||
architecture=i386
|
||||
gcc_prefix=""
|
||||
;;
|
||||
arm*hf)
|
||||
architecture=armhf
|
||||
|
@ -90,7 +93,7 @@ make_deb() {
|
|||
|
||||
# copy the main binary
|
||||
install -Dm755 "target/$TARGET/release/$PROJECT_NAME" "$tempdir/usr/bin/$PROJECT_NAME"
|
||||
strip "$tempdir/usr/bin/$PROJECT_NAME"
|
||||
"${gcc_prefix}"strip "$tempdir/usr/bin/$PROJECT_NAME"
|
||||
|
||||
# manpage
|
||||
install -Dm644 "doc/$PROJECT_NAME.1" "$tempdir/usr/share/man/man1/$PROJECT_NAME.1"
|
||||
|
|
Loading…
Reference in a new issue