diff options
Diffstat (limited to 'python/servo')
| -rw-r--r-- | python/servo/command_base.py | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/python/servo/command_base.py b/python/servo/command_base.py index 3770de6c9cd..08382061379 100644 --- a/python/servo/command_base.py +++ b/python/servo/command_base.py @@ -646,8 +646,6 @@ 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([ |