Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-06 06:00:15 +01:00
Code Issues Projects Releases Packages Wiki Activity

auto merge of #5115 : psdh/servo/improveBinRun, r=mbrubeck

Browse source 
Fixes #5080
This commit is contained in:
bors-servo 2015-03-02 19:06:51 -07:00
commit 801b939479
1 changed files with 17 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

19
python/servo/post_build_commands.py
View file

@ -8,6 +8,7 @@ import subprocess
import SimpleHTTPServer
import SocketServer
import mozdebug
import sys
from shutil import copytree, rmtree, ignore_patterns, copy2
from mach.registrar import Registrar
@ -33,8 +34,22 @@ class MachCommands(CommandBase):
def get_binary_path(self, release):
base_path = path.join("components", "servo", "target")
if release:
return path.join(base_path, "release", "servo")
release_path= path.join(base_path, "release", "servo")
if not release:
if not os.path.exists(release_path):
if not os.path.exists(base_path):
print("Servo Binary cannot be found, please run './mach build'"
"and try again!")
sys.exit()
print("Running Debug Build")
return path.join(base_path, "servo")
else:
if os.path.exists(base_path):
print("You have multiple binaries present."
" Please specify which binary is to be run")
sys.exit()
return path.join(release_path, "servo")
return path.join(base_path, "servo")
@Command('run',