diff options
| author | Marco Neumann <marco@crepererum.net> | 2016-07-01 10:56:51 +0200 |
|---|---|---|
| committer | Marco Neumann <marco@crepererum.net> | 2016-07-01 10:56:51 +0200 |
| commit | f7b86f349b218d6446a6d891809b0cf10f97183d (patch) | |
| tree | f5ad72ff8e9d0200800fc46beb351ef95a10436b /python/servo/package_commands.py | |
| parent | 0ae07e07e6c75e630ba0a5eaf95fa1046c6737c2 (diff) | |
| download | servo-f7b86f349b218d6446a6d891809b0cf10f97183d.tar.gz servo-f7b86f349b218d6446a6d891809b0cf10f97183d.zip | |
Add shebang to Linux runservo.sh
Diffstat (limited to 'python/servo/package_commands.py')
| -rw-r--r-- | python/servo/package_commands.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/python/servo/package_commands.py b/python/servo/package_commands.py index 6569598189f..64f3ee69551 100644 --- a/python/servo/package_commands.py +++ b/python/servo/package_commands.py @@ -177,7 +177,7 @@ class PackageCommands(CommandBase): path.join('./build/' + browserhtml_path.split('/')[-1], 'out', 'index.html')] runservo = os.open(dir_to_package + '/runservo.sh', os.O_WRONLY | os.O_CREAT, int("0755", 8)) - os.write(runservo, "./servo " + ' '.join(servo_args)) + os.write(runservo, "#!/usr/bin/env sh\n./servo " + ' '.join(servo_args)) os.close(runservo) print("Creating tarball") tar_path = '/'.join(dir_to_package.split('/')[:-1]) + '/' |