From 5acd1d9c4f2e94cb42b63925af298225345980c3 Mon Sep 17 00:00:00 2001
From: Jinank Jain <ug201210017@iitj.ac.in>
Date: Wed, 6 May 2015 15:33:28 +0200
Subject: [PATCH] Fixed #5933

---
 python/servo/build_commands.py | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/python/servo/build_commands.py b/python/servo/build_commands.py
index ca9075a48f00..ee96d5be69a5 100644
--- a/python/servo/build_commands.py
+++ b/python/servo/build_commands.py
@@ -96,6 +96,9 @@ def build(self, target=None, release=False, jobs=None, android=None,
         opts = params or []
         features = []
 
+        if not release:
+            print("Warning: This is an un-optimized debug build. For performance testing, use ./mach build --release to enable compiler optimizations.")
+
         if release:
             opts += ["--release"]
         if target: