diff options
Diffstat (limited to 'python/servo/package_commands.py')
-rw-r--r-- | python/servo/package_commands.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/python/servo/package_commands.py b/python/servo/package_commands.py index fb4d669c966..010b8dfb476 100644 --- a/python/servo/package_commands.py +++ b/python/servo/package_commands.py @@ -300,7 +300,7 @@ class PackageCommands(CommandBase): print("Copying files") dir_to_resources = path.join(dir_to_temp, 'resources') shutil.copytree(path.join(self.get_top_dir(), 'resources'), dir_to_resources) - shutil.copytree(browserhtml_path, path.join(dir_to_temp, 'build')) + shutil.copytree(browserhtml_path, path.join(dir_to_temp, 'browserhtml')) shutil.copy(binary_path, dir_to_temp) print("Writing runservo.sh") @@ -309,7 +309,7 @@ class PackageCommands(CommandBase): '--pref', 'dom.mozbrowser.enabled', '--pref', 'dom.forcetouch.enabled', '--pref', 'shell.builtin-key-shortcuts.enabled=false', - path.join('./build/' + browserhtml_path.split('/')[-1], 'out', 'index.html')] + path.join('./browserhtml', 'out', 'index.html')] runservo = os.open(dir_to_temp + '/runservo.sh', os.O_WRONLY | os.O_CREAT, int("0755", 8)) os.write(runservo, "#!/usr/bin/env sh\n./servo " + ' '.join(servo_args)) |