diff options
| author | bjorn3 <bjorn3@users.noreply.github.com> | 2021-04-07 11:52:11 +0200 |
|---|---|---|
| committer | bjorn3 <bjorn3@users.noreply.github.com> | 2021-04-07 11:52:11 +0200 |
| commit | 53bfc6729ae4a53c8092473452de7a272224df5d (patch) | |
| tree | 4afae3c9d545328d747076545beb0a1ec85bbdaa /scripts | |
| parent | 1ee0aa9416b9da220d7370007c5e3c402d6714b0 (diff) | |
| download | rust-53bfc6729ae4a53c8092473452de7a272224df5d.tar.gz rust-53bfc6729ae4a53c8092473452de7a272224df5d.zip | |
Centralize all configuration into config.rs
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/ext_config.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/ext_config.sh b/scripts/ext_config.sh index 7971f620df1..3f98d77d76c 100644 --- a/scripts/ext_config.sh +++ b/scripts/ext_config.sh @@ -5,7 +5,7 @@ set -e export CG_CLIF_DISPLAY_CG_TIME=1 -export CG_CLIF_INCR_CACHE_DISABLED=1 +export CG_CLIF_DISABLE_INCR_CACHE=1 export HOST_TRIPLE=$(rustc -vV | grep host | cut -d: -f2 | tr -d " ") export TARGET_TRIPLE=${TARGET_TRIPLE:-$HOST_TRIPLE} |