scripts: Only download kernel binaries if changed

Only download the kernel binaries from the github release if the remote
file is newer (avoids multiple copies accumulating in the download
directory.)

Signed-off-by: Rob Bradford <rbradford@rivosinc.com>
This commit is contained in:
Rob Bradford 2024-10-02 12:35:26 +01:00
parent 8036a2c3de
commit 19d36c765f

View File

@ -143,7 +143,7 @@ download_linux() {
fi fi
pushd "$WORKLOADS_DIR" || exit pushd "$WORKLOADS_DIR" || exit
for url in $KERNEL_URLS; do for url in $KERNEL_URLS; do
wget --quiet "$url" || exit 1 wget -N --quiet "$url" || exit 1
done done
popd || exit popd || exit