From b87c1c92fc93c5733cd3d8606ab2301ca6ba208f Mon Sep 17 00:00:00 2001 From: "Gregory P. Smith" Date: Thu, 19 Apr 2018 08:58:17 -0700 Subject: [PATCH] Clean up the readme text around PGO a bit. (GH-6538) --- README.rst | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/README.rst b/README.rst index 05daca298ae..5420558f0dc 100644 --- a/README.rst +++ b/README.rst @@ -92,15 +92,16 @@ below. Profile Guided Optimization ^^^^^^^^^^^^^^^^^^^^^^^^^^^ -PGO takes advantage of recent versions of the GCC or Clang compilers. If ran, -``make profile-opt`` will do several steps. +PGO takes advantage of recent versions of the GCC or Clang compilers. If used, +either via ``configure --enable-optimizations`` above or by manually running +``make profile-opt`` regardless of configure flags it will do several steps. First, the entire Python directory is cleaned of temporary files that may have resulted in a previous compilation. Then, an instrumented version of the interpreter is built, using suitable -compiler flags for each flavour. Note that this is just an intermediary step -and the binary resulted after this step is not good for real life workloads, as +compiler flags for each flavour. Note that this is just an intermediary step. +The binary resulting from this step is not good for real life workloads as it has profiling instructions embedded inside. After this instrumented version of the interpreter is built, the Makefile will