[builds] Make sure downloaded files have a newer timestamp than any other file from previous builds. (#7833)

This makes sure we actually use the new files we downloaded.
This commit is contained in:
Rolf Bjarne Kvinge 2020-02-10 22:30:52 +01:00 коммит произвёл GitHub
Родитель f841b1eb51
Коммит 999ba8e278
Не найден ключ, соответствующий данной подписи
Идентификатор ключа GPG: 4AEE18F83AFDEB23
1 изменённых файлов: 1 добавлений и 0 удалений

Просмотреть файл

@ -45,6 +45,7 @@ downloads/%: downloads/%.7z
$(Q) echo "Unzipping $*..."
$(Q) rm -Rf $@.tmp
$(Q) 7z x $< -o$@.tmp
$(Q) find $@.tmp -exec touch {} +
$(Q) mv $@.tmp $@
$(Q) echo "Unzipped $*."