From 96be6306540af8196e1e3a8ec0d1fb2a09b630b4 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) (cherry picked from commit b87c1c92fc93c5733cd3d8606ab2301ca6ba208f) Co-authored-by: Gregory P. Smith --- README.rst | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/README.rst b/README.rst index 6ef60a1f6627fcd..095cc4b0aa4a95c 100644 --- a/README.rst +++ b/README.rst @@ -91,15 +91,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