tree f3b179acd919c1044de2eec9243737213ee009f4
parent 7a2e83b839542d4c25c166dc7a463e7db9723fef
author Gilles Peskine <Gilles.Peskine@arm.com> 1649160489 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1649165378 +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>