The bash script repro.sh
can be used to reproduce this. This script will modify a file in the library, and read the profile.json to check how many times the file was compiled.
The bash script repro.sh
can be used to reproduce this. This script will modify a file in the library, and read the profile.json to check how many times the file was compiled.