tree 7c1fa1ba5ed863691153fff3a0c670b6d12bcc39
parent e151e21ae34c3031b6b79b00d86f5d987c1eb2d8
author Gilles Peskine <Gilles.Peskine@arm.com> 1621342689 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1621499842 +0200

In update mode, create the files if they don't exist

`check-generated-files -u` aborted if one of the generated files
didn't exist. Now it treats a missing file as an out-of-date file.

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>