Fix release script LTO.

This commit is contained in:
Eric Huss 2020-08-11 15:39:03 -07:00
parent 8f7e030ac3
commit f6768b816c
1 changed files with 2 additions and 1 deletions

View File

@ -11,7 +11,8 @@ fi
TAG=${GITHUB_REF#*/tags/} TAG=${GITHUB_REF#*/tags/}
host=$(rustc -Vv | grep ^host: | sed -e "s/host: //g") host=$(rustc -Vv | grep ^host: | sed -e "s/host: //g")
cargo rustc --bin mdbook --release -- -C lto export CARGO_PROFILE_RELEASE_LTO=true
cargo build --bin mdbook --release
cd target/release cd target/release
case $1 in case $1 in
ubuntu* | macos*) ubuntu* | macos*)