131b1d6f81
This patch adds the following logic to the release build: pgo/profiles/profile.profdata.xz is the default profile file, compressed. This file is stored in version control using git LFS. A ninja rule is added which creates build/profile.profdata by decompressing it. If no profile file is explicitly specified, ./configure.py checks whether the compressed default profile file exists and is compressed. (If it exists, but isn't compressed, the user most likely has git lfs disabled or not installed. In this case, the file visible in the working tree will be the LFS placeholder text file describing the LFS metadata.) If the compressed file exists, build/profile.profdata is chosen as the used profile file. If it doesn't exist, a warning is printed and configure.py falls back to a profileless build. The default profile file can be explicitly disabled by passing the empty --use-profile="" to configure.py A script is added which re-generates the profile. After the script is run, the re-generated compressed profile can be staged, committed, pushed and merged to update the default profile.
6 lines
122 B
Plaintext
6 lines
122 B
Plaintext
*.cc diff=cpp
|
|
*.hh diff=cpp
|
|
*.svg binary
|
|
docs/_static/api/js/* binary
|
|
pgo/profiles/** filter=lfs diff=lfs merge=lfs -text
|