Bug 833189 - Disable PGO on editor; a=me
authorEhsan Akhgari <ehsan@mozilla.com>
Mon, 21 Jan 2013 22:58:33 -0500
changeset 125540 219bceaafcb1a35132639cfbfc19b5ed98920313
parent 125539 5c56910fa445d3c6a91db4d7fe5115fa66e037a9
child 125541 0580c409b4d0e4d9d223e157b27c2948f74058db
push id3384
push userlsblakk@mozilla.com
push dateTue, 19 Feb 2013 18:42:39 +0000
treeherdermozilla-aurora@d8c97bae8521 [default view] [failures only]
perfherder[talos] [build metrics] [platform microbench] (compared to previous push)
reviewersme
bugs833189
milestone21.0a1
Bug 833189 - Disable PGO on editor; a=me
editor/defs.mk
new file mode 100644
--- /dev/null
+++ b/editor/defs.mk
@@ -0,0 +1,3 @@
+ifeq ($(OS_TARGET),WINNT)
+NO_PROFILE_GUIDED_OPTIMIZE := 1 # Don't PGO
+endif