diff options
| author | Henrik Tjäder <henrik@tjaders.com> | 2020-06-10 14:32:09 +0000 |
|---|---|---|
| committer | Henrik Tjäder <henrik@tjaders.com> | 2020-06-10 14:48:36 +0000 |
| commit | 29f354020e4733ab3a173c80e4929d215ad380e3 (patch) | |
| tree | 2007a5d1441c146f0ff6870640a213023d7d4b1a | |
| parent | 0b3cc87f2d590868963c32543ac3772a0b2dee28 (diff) | |
Remove compilation optimisations on 1.36.0
| -rw-r--r-- | ci/script.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/ci/script.sh b/ci/script.sh index 7b86e52..c9a9c05 100644 --- a/ci/script.sh +++ b/ci/script.sh @@ -36,6 +36,12 @@ main() { mkdir -p ci/builds + # Current MSRV cannot handle profiles, remove compilation optimisations + if [[ $TRAVIS_RUST_VERSION == 1.*.* ]]; then + echo "Removing optimisation profiles" + sed -i '/^\[profile.*build-override]$/,/^$/{/^#/!{/^$/!d}}' Cargo.toml + fi + if [ $T = x86_64-unknown-linux-gnu ]; then if [[ $TRAVIS_RUST_VERSION == 1.*.* ]]; then # test on a fixed version (MSRV) to avoid problems with changes in rustc diagnostics |