diff options
| -rwxr-xr-x | src/ci/docker/run.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/ci/docker/run.sh b/src/ci/docker/run.sh index 44504f6a938..9bc61b56efb 100755 --- a/src/ci/docker/run.sh +++ b/src/ci/docker/run.sh @@ -57,6 +57,10 @@ if [ -f "$docker_dir/$image/Dockerfile" ]; then # Sort the file names and cat the content into the hash key sort $copied_files | xargs cat >> $hash_key + # Include the architecture in the hash key, since our Linux CI does not + # only run in x86_64 machines. + uname -m >> $hash_key + docker --version >> $hash_key cksum=$(sha512sum $hash_key | \ awk '{print $1}') |