diff options
Diffstat (limited to 'python/servo/command_base.py')
| -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 5ac41b06009..5369b3e47f9 100644 --- a/python/servo/command_base.py +++ b/python/servo/command_base.py @@ -165,7 +165,7 @@ class CommandBase(object): print("The %s profile is not built. Please run './mach build%s' " "and try again." % ("release" if release else "dev", - " --release" if release else "")) + " --release" if release else "")) sys.exit() def build_env(self, gonk=False, hosts_file_path=None): |