commit | 9a4758550d96030ee7e7f7c7c68b435db1a2a825 | [log] [tgz] |
---|---|---|
author | Miss Islington (bot) <31488909+miss-islington@users.noreply.github.com> | Sun Dec 16 14:24:04 2018 -0800 |
committer | Victor Stinner <vstinner@redhat.com> | Sun Dec 16 23:24:04 2018 +0100 |
tree | 18f9d2549c22bea89bc67f5b2ce98dccfbeabbe3 | |
parent | d5176fe2bcd35dc8d70d13220b58fa7ccd05b47a [diff] |
bpo-35499: make profile-opt don't override CFLAGS_NODIST (GH-11164) (GH-11179) "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. (cherry picked from commit 640ed520dd6a43a8bf470b79542f58b5d57af9de) Co-authored-by: Victor Stinner <vstinner@redhat.com>