mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Use a MIRI namespaced env var name for auto ops

Browse Source
This commit is contained in:
Oli Scherer 2022-07-21 12:24:13 +00:00
parent 392342fcaf
commit bfa2ff646c
2 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
CONTRIBUTING.md
View File

@ -169,14 +169,14 @@ to `.vscode/settings.json` in your local Miri clone:
], ],
"rust-analyzer.checkOnSave.overrideCommand": [ "rust-analyzer.checkOnSave.overrideCommand": [
"env", "env",
"AUTO_OPS=42", "MIRI_AUTO_OPS=no",
"./miri", "./miri",
"check", "check",
"--message-format=json" "--message-format=json"
], ],
"rust-analyzer.buildScripts.overrideCommand": [ "rust-analyzer.buildScripts.overrideCommand": [
"env", "env",
"AUTO_OPS=42", "MIRI_AUTO_OPS=no",
"./miri", "./miri",
"check", "check",
"--message-format=json", "--message-format=json",

4
miri
View File

@ -53,8 +53,8 @@ EOF
MIRIDIR=$(python3 -c 'import os, sys; print(os.path.dirname(os.path.realpath(sys.argv[1])))' "$0") MIRIDIR=$(python3 -c 'import os, sys; print(os.path.dirname(os.path.realpath(sys.argv[1])))' "$0")
## Run the auto-things. ## Run the auto-things.
if [ -z "$AUTO_OPS" ]; then if [ -z "$MIRI_AUTO_OPS" ]; then
export AUTO_OPS=42 export MIRI_AUTO_OPS=42
# Run this first, so that the toolchain doesn't change after # Run this first, so that the toolchain doesn't change after
# other code has run. # other code has run.