diff options
author | Victor Stinner <vstinner@redhat.com> | 2018-12-16 17:00:42 (GMT) |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-12-16 17:00:42 (GMT) |
commit | 640ed520dd6a43a8bf470b79542f58b5d57af9de (patch) | |
tree | d12ba4f31fba82dda6e7da9f844204a573ec4a75 /Misc | |
parent | f5107dfd42121ef40b13eb678705802f0ff02cf9 (diff) | |
download | cpython-640ed520dd6a43a8bf470b79542f58b5d57af9de.zip cpython-640ed520dd6a43a8bf470b79542f58b5d57af9de.tar.gz cpython-640ed520dd6a43a8bf470b79542f58b5d57af9de.tar.bz2 |
bpo-35499: make profile-opt don't override CFLAGS_NODIST (GH-11164)
"make profile-opt" no longer replaces CFLAGS_NODIST with CFLAGS. It
now adds profile-guided optimization (PGO) flags to CFLAGS_NODIST,
existing CFLAGS_NODIST flags are kept.
Diffstat (limited to 'Misc')
-rw-r--r-- | Misc/NEWS.d/next/Build/2018-12-14-19-36-05.bpo-35499.9yAldM.rst | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Misc/NEWS.d/next/Build/2018-12-14-19-36-05.bpo-35499.9yAldM.rst b/Misc/NEWS.d/next/Build/2018-12-14-19-36-05.bpo-35499.9yAldM.rst new file mode 100644 index 0000000..ed730b9 --- /dev/null +++ b/Misc/NEWS.d/next/Build/2018-12-14-19-36-05.bpo-35499.9yAldM.rst @@ -0,0 +1,3 @@ +``make profile-opt`` no longer replaces ``CFLAGS_NODIST`` with ``CFLAGS``. It +now adds profile-guided optimization (PGO) flags to ``CFLAGS_NODIST``: existing +``CFLAGS_NODIST`` flags are kept. |