From 157c1674ed11be6ea6bd66a94eb58db536ceced7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Emilio=20Cobos=20=C3=81lvarez?= <ecoal95@gmail.com>
Date: Sat, 12 Nov 2016 21:35:31 +0100
Subject: [PATCH] python: Make --debugger imply --debug

---
 python/servo/post_build_commands.py | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/python/servo/post_build_commands.py b/python/servo/post_build_commands.py
index 0dc5bc498bd9..78e1a230ed5a 100644
--- a/python/servo/post_build_commands.py
+++ b/python/servo/post_build_commands.py
@@ -59,6 +59,10 @@ def run(self, params, release=False, dev=False, android=None, debug=False, debug
         env = self.build_env()
         env["RUST_BACKTRACE"] = "1"
 
+        # Make --debugger imply --debug
+        if debugger:
+            debug = True
+
         if android is None:
             android = self.config["build"]["android"]