diff options
| author | Chris Packham <judge.packham@gmail.com> | 2025-06-05 18:37:17 +1200 |
|---|---|---|
| committer | Chris Packham <judge.packham@gmail.com> | 2025-06-06 08:51:37 +1200 |
| commit | 77c89dcb5797dee00797f1f6e509091fb174c64e (patch) | |
| tree | 41243a510cc9ffd37226cc16044156d9d8afb3ba /.github | |
| parent | b37a59f8fae80c70a357192654e1e890b00af7ad (diff) | |
| download | crosstool-ng-77c89dcb5797dee00797f1f6e509091fb174c64e.tar.gz crosstool-ng-77c89dcb5797dee00797f1f6e509091fb174c64e.tar.bz2 crosstool-ng-77c89dcb5797dee00797f1f6e509091fb174c64e.zip | |
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 <judge.packham@gmail.com>
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/continuous-integration-workflow.yml | 1 |
1 files changed, 1 insertions, 0 deletions
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 |