From 77c89dcb5797dee00797f1f6e509091fb174c64e Mon Sep 17 00:00:00 2001 From: Chris Packham Date: Thu, 5 Jun 2025 18:37:17 +1200 Subject: CI: Use wget --no-use-server-timestamps When downloading files wget will set the timestamp on the local file to match the timestamp on the server. For the purpose of maintaining the cached files for the CI build we need the timestamp to be updated if the file is downloaded. Use the --no-use-server-timestamps option for wget so that the local file timestamp reflects the download time. Signed-off-by: Chris Packham --- .github/workflows/continuous-integration-workflow.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/continuous-integration-workflow.yml b/.github/workflows/continuous-integration-workflow.yml index 3339de8b..c118faa5 100644 --- a/.github/workflows/continuous-integration-workflow.yml +++ b/.github/workflows/continuous-integration-workflow.yml @@ -95,6 +95,7 @@ jobs: sed -i -e 's/^.*CT_COMP_TOOLS_BISON.*$/CT_COMP_TOOLS_BISON=y/' .config; \ sed -i -e 's/^.*CT_COMP_TOOLS_M4.*$/CT_COMP_TOOLS_M4=y/' .config; \ sed -i -e 's/^.*CT_COMP_TOOLS_MAKE.*$/CT_COMP_TOOLS_MAKE=y/' .config; \ + sed -i -e 's/^.*CT_DOWNLOAD_WGET_OPTIONS.*$/CT_DOWNLOAD_WGET_OPTIONS="--tries=3 -nc --progress=dot:binary --no-use-server-timestamps"/' .config; \ ct-ng olddefconfig; \ ct-ng source; \ done -- cgit v1.2.3