]> git.tdb.fi Git - builder.git/commitdiff
Save caches before starting the build
authorMikko Rasa <tdb@tdb.fi>
Wed, 10 Nov 2021 18:06:23 +0000 (20:06 +0200)
committerMikko Rasa <tdb@tdb.fi>
Wed, 10 Nov 2021 18:06:23 +0000 (20:06 +0200)
This causes the config cache file's timestamp to be earlier than any
built file, preventing a spurious second rebuild after changing options.


No differences found