mirror of
https://github.com/servo/servo.git
synced 2025-07-03 21:43:41 +01:00
Copy resources on linux package
This commit is contained in:
parent
5d225d9d66
commit
0b84921d03
1 changed files with 2 additions and 0 deletions
|
@ -154,6 +154,8 @@ class PackageCommands(CommandBase):
|
|||
print("Packaged Servo into " + dmg_path)
|
||||
else:
|
||||
dir_to_package = '/'.join(binary_path.split('/')[:-1])
|
||||
dir_to_root = '/'.join(binary_path.split('/')[:-3])
|
||||
shutil.copytree(dir_to_root + '/resources', dir_to_package + '/resources')
|
||||
browserhtml_path = find_dep_path_newest('browserhtml', binary_path)
|
||||
if browserhtml_path is None:
|
||||
print("Could not find browserhtml package; perhaps you haven't built Servo.")
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue