mirror of
https://github.com/servo/servo.git
synced 2025-06-17 04:44:28 +00:00
remove unused script
This commit is contained in:
parent
ae5dca985e
commit
2792369a6d
1 changed files with 0 additions and 1 deletions
|
@ -265,7 +265,6 @@ class MachCommands(CommandBase):
|
||||||
shutil.copy(path.join(self.android_support_dir(), "openssl.sh"), openssl_dir)
|
shutil.copy(path.join(self.android_support_dir(), "openssl.sh"), openssl_dir)
|
||||||
|
|
||||||
# Check if the NDK version is 12
|
# Check if the NDK version is 12
|
||||||
env["ANDROID_NDK_ROOT"] = env["ANDROID_NDK"]
|
|
||||||
with open(path.join(env["ANDROID_NDK"], 'source.properties')) as ndk_properties:
|
with open(path.join(env["ANDROID_NDK"], 'source.properties')) as ndk_properties:
|
||||||
lines = ndk_properties.readlines()
|
lines = ndk_properties.readlines()
|
||||||
if lines[1].split(' = ')[1].split('.')[0] != '12':
|
if lines[1].split(' = ')[1].split('.')[0] != '12':
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue