Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-07-04 05:53:39 +01:00
Code Issues Projects Releases Packages Wiki Activity

Add shebang to Linux runservo.sh

Browse source
This commit is contained in:
Marco Neumann 2016-07-01 10:56:51 +02:00
parent 0ae07e07e6
commit f7b86f349b
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
python/servo/package_commands.py
View file

@ -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]) + '/'