yuzu-emu/mbedtls
1
0
Fork 0
mirror of https://github.com/yuzu-emu/mbedtls.git synced 2024-11-26 17:15:44 +01:00
Code Issues Packages Projects Releases Wiki Activity

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

Browse Source 
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>
This commit is contained in:
Gilles Peskine 2022-04-05 14:08:09 +02:00
parent f749930ab8
commit b5c4382bef
1 changed files with 8 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
tests/scripts/check-generated-files.sh
View File

@ -65,24 +65,25 @@ check()
fi fi
for FILE in "$@"; do for FILE in "$@"; do
cp "$FILE" "$FILE.bak" cp -p "$FILE" "$FILE.bak"
done done
"$SCRIPT" "$SCRIPT"
# Compare the script output to the old files and remove backups # Compare the script output to the old files and remove backups
for FILE in "$@"; do for FILE in "$@"; do
if ! diff "$FILE" "$FILE.bak" >/dev/null 2>&1; then if diff "$FILE" "$FILE.bak" >/dev/null 2>&1; then
# Move the original file back so that $FILE's timestamp doesn't
# change (avoids spurious rebuilds with make).
mv "$FILE.bak" "$FILE"
else
echo "'$FILE' was either modified or deleted by '$SCRIPT'" echo "'$FILE' was either modified or deleted by '$SCRIPT'"
if [ -z "$UPDATE" ]; then if [ -z "$UPDATE" ]; then
exit 1 exit 1
else
rm "$FILE.bak"
fi fi
fi fi
if [ -z "$UPDATE" ]; then
mv "$FILE.bak" "$FILE"
else
rm "$FILE.bak"
fi
done done
if [ -n "$directory" ]; then if [ -n "$directory" ]; then