diff options
| author | bors-servo <metajack+bors@gmail.com> | 2015-02-21 13:42:45 -0700 |
|---|---|---|
| committer | bors-servo <metajack+bors@gmail.com> | 2015-02-21 13:42:45 -0700 |
| commit | a5f52bf086fcb4ec4c3d22917b928ebd0997ff84 (patch) | |
| tree | db080c209428834556ccb18046ea1dd7b1668c2f | |
| parent | f1f826544919b4fa7cdf4bf263abf0c0c1497f70 (diff) | |
| parent | 12e2f30617c7b19ca99b7c1fa53bef8ab13b5d59 (diff) | |
| download | servo-a5f52bf086fcb4ec4c3d22917b928ebd0997ff84.tar.gz servo-a5f52bf086fcb4ec4c3d22917b928ebd0997ff84.zip | |
auto merge of #5011 : psdh/servo/ossys, r=Manishearth
Fixes #5009
| -rw-r--r-- | python/servo/command_base.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/python/servo/command_base.py b/python/servo/command_base.py index b3a4b6d2feb..20ee3fb6527 100644 --- a/python/servo/command_base.py +++ b/python/servo/command_base.py @@ -152,7 +152,7 @@ class CommandBase(object): if "GONKDIR" not in env: # Things can get pretty opaque if this hasn't been set print("Please set $GONKDIR in your environment or servobild file") - os.exit(1) + sys.exit(1) if self.config["gonk"]["product"]: env["GONK_PRODUCT"] = self.config["gonk"]["product"] |