diff options
author | Eric Huss <eric@huss.org> | 2020-08-11 15:39:03 -0700 |
---|---|---|
committer | Eric Huss <eric@huss.org> | 2020-08-11 15:39:03 -0700 |
commit | f6768b816ce371cc3759e06b001f1365c83cbd2d (patch) | |
tree | 8b64cdedfbe03d9cf79da185010319bf8a7df375 | |
parent | 8f7e030ac3d210ec3e73f20b43d01c3123d87900 (diff) |
Fix release script LTO.v0.4.2
-rwxr-xr-x | ci/make-release.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/ci/make-release.sh b/ci/make-release.sh index 1540f360..8d9fa34d 100755 --- a/ci/make-release.sh +++ b/ci/make-release.sh @@ -11,7 +11,8 @@ fi TAG=${GITHUB_REF#*/tags/} 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 case $1 in ubuntu* | macos*) |