Corrections to git recipe

This commit is contained in:
Ian Douglas Scott 2017-07-05 19:48:30 -07:00
parent f51d3cb8a0
commit b90d029b7e
No known key found for this signature in database
GPG Key ID: 4924E10E199B5959

View File

@ -63,8 +63,9 @@ function recipe_clean {
function recipe_stage {
dest="$(realpath $1)"
make prefix="$dest" install
make DESTDIR="$dest" install
${STRIP} $1/bin/* || true
${STRIP} $1/libexec/git-core/* || true
rm -rf $1/share/man
skip=1
}