tree bd7d8a9000bb853713337620d908458e5885bf5b
parent f749930ab87ccea77fb0d9a49c4372be579e0f13
author Gilles Peskine <Gilles.Peskine@arm.com> 1649160489 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1649164756 +0200

check-generated-files.sh -u: don't update file timestamps

When running check-generated-files in update mode, all generated files were
regenerated. As a consequence,
```
tests/scripts/check-generated-files.sh -u && make
```
always caused most of the code to be rebuilt. Now, if a file hasn't changed,
preserve its original modification time (and other metadata), so the command
above doesn't rebuild anything that has actually not changed.

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