diff options
| author | Bert Belder <bertbelder@gmail.com> | 2019-03-31 17:22:02 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-03-31 17:22:02 -0400 |
| commit | 97265895baaf7e90180f10f7ef741e9bbf1dcfd0 (patch) | |
| tree | 06025aa18417b8b1ac20144a68b61027f5d5be6f /tools/setup.py | |
| parent | 3ba4c3c2b08f9827af67b208f276e95082b625bd (diff) | |
Publish rust crate on crates.io (#2024)
Diffstat (limited to 'tools/setup.py')
| -rwxr-xr-x | tools/setup.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/setup.py b/tools/setup.py index 57ae80454..9a4b443dd 100755 --- a/tools/setup.py +++ b/tools/setup.py @@ -115,7 +115,7 @@ def write_gn_args(args_filename, args): def generate_gn_args(mode): out = [] if mode == "release": - out += ["is_official_build=true"] + out += ["is_official_build=true", "symbol_level=0"] elif mode == "debug": out += ["is_debug=true"] else: |