diff options
| author | 2021-02-02 20:30:56 +0000 | |
|---|---|---|
| committer | 2021-02-02 20:30:56 +0000 | |
| commit | 632f080f8830e2ded22d2e65fdf69cbbe6df40d8 (patch) | |
| tree | 9b024d690ca4953ca52cc4d78dbba6ef3ae1cf76 | |
| parent | dadc62cdb4dd624c5e18cc99c9f8de6e78ba955e (diff) | |
| parent | 20768b88404325d62ba84a7dc917c377defcbdbc (diff) | |
Merge "rust: Use v0 mangling format globally"
| -rw-r--r-- | rust/config/global.go | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/rust/config/global.go b/rust/config/global.go index fb6227804..182dc6ac2 100644 --- a/rust/config/global.go +++ b/rust/config/global.go @@ -47,6 +47,8 @@ var ( "-C debuginfo=2", "-C opt-level=3", "-C relocation-model=pic", + // Use v0 mangling to distinguish from C++ symbols + "-Z symbol-mangling-version=v0", } deviceGlobalRustFlags = []string{ |