diff options
| -rw-r--r-- | python/servo/command_base.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/python/servo/command_base.py b/python/servo/command_base.py index 08382061379..3770de6c9cd 100644 --- a/python/servo/command_base.py +++ b/python/servo/command_base.py @@ -646,6 +646,8 @@ install them, let us know by filing a bug!") if target.startswith('arm') or target.startswith('aarch64'): env['RUSTFLAGS'] = env.get('RUSTFLAGS', "") + " -C target-feature=+neon" + env['RUSTFLAGS'] = env.get('RUSTFLAGS', "") + " -W unused-extern-crates" + git_info = [] if os.path.isdir('.git') and is_build: git_sha = subprocess.check_output([ |