diff options
author | Neil Schemenauer <nas-github@arctrix.com> | 2017-11-02 10:46:02 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-11-02 10:46:02 -0700 |
commit | 4e38d71a2b7b606fb1b0078c2d7014fc24044dac (patch) | |
tree | 088faec4d92e5ef80e849d055a903793c819ddd3 /Python/import.c | |
parent | 0d2c645d41eee4ec7549c86ccc23970b692a48b0 (diff) | |
download | cpython-git-4e38d71a2b7b606fb1b0078c2d7014fc24044dac.tar.gz |
bpo-28643: Record profile-opt build progress with stamp files (#4223)
* bpo-28643: Record profile-opt build progress with stamp files
The profile-opt makefile target is expensive to build. Since the
makefile does not contain complete dependency information for this
target, much extra work can get done if the build is interrupted and
re-started. Even running "make" a second time will result in a huge
amount of redundant work.
As a minimal fix (rather than removing recursive "make" and adding a
proper dependency graph), split the profile-opt target into parts:
- ensure tree is clean (profile-clean-stamp)
- build with profile generation enabled (profile-gen-stamp)
- run task to generate profile information (profile-run-stamp)
- build optimized Python using above information (profile-opt)
We use "stamp" files to record completion of the steps. Running
"make clean" will not remove the profile-run-stamp file.
Other minor changes:
- remove the "build_all_use_profile" target. I don't expect callers
of the makefile to use this target so that should be safe.
- remove execution of "profile-removal" at end of "profile-opt". I
don't see any reason to not to keep the profile information, given
the cost to generate it. Removing the "profile-run-stamp" file
will force re-generation of it.
Diffstat (limited to 'Python/import.c')
0 files changed, 0 insertions, 0 deletions