# HG changeset patch
# User wenzelm
# Date 1471355711 -7200
# Node ID b7aab1a6cf0d7af6b22e2ab5c7e544ea2178c73e
# Parent  76c2f833abf40b978eb39bf8832c4689c70e0504
clarified presentation order, according to typical amounts;

diff -r 76c2f833abf4 -r b7aab1a6cf0d src/Pure/Tools/build_stats.scala
--- a/src/Pure/Tools/build_stats.scala	Tue Aug 16 15:51:44 2016 +0200
+++ b/src/Pure/Tools/build_stats.scala	Tue Aug 16 15:55:11 2016 +0200
@@ -126,16 +126,16 @@
 
           val plots1 =
             List(
+              """ using 1:3 smooth sbezier title "cpu time (smooth)" """,
+              """ using 1:3 smooth csplines title "cpu time" """,
               """ using 1:2 smooth sbezier title "elapsed time (smooth)" """,
-              """ using 1:2 smooth csplines title "elapsed time" """,
-              """ using 1:3 smooth sbezier title "cpu time (smooth)" """,
-              """ using 1:3 smooth csplines title "cpu time" """)
+              """ using 1:2 smooth csplines title "elapsed time" """)
           val plots2 =
             List(
+              """ using 1:5 smooth sbezier title "ML cpu time (smooth)" """,
+              """ using 1:5 smooth csplines title "ML cpu time" """,
               """ using 1:4 smooth sbezier title "ML elapsed time (smooth)" """,
               """ using 1:4 smooth csplines title "ML elapsed time" """,
-              """ using 1:5 smooth sbezier title "ML cpu time (smooth)" """,
-              """ using 1:5 smooth csplines title "ML cpu time" """,
               """ using 1:6 smooth sbezier title "ML gc time (smooth)" """,
               """ using 1:6 smooth csplines title "ML gc time" """)
           val plots =