File tree Expand file tree Collapse file tree 1 file changed +4
-4
lines changed Expand file tree Collapse file tree 1 file changed +4
-4
lines changed Original file line number Diff line number Diff line change @@ -169,8 +169,8 @@ jobs:
169169 # Remove all write permissions on /opt/eessi so any attempts to write files fail
170170 chmod -R a-w /opt/eessi
171171
172- # Store file timestamps before second run
173- stat_before=$(stat "/opt/eessi/nvidia/x86_64/host/driver_version.txt")
172+ # Store file timestamps before second run (ignoring access time)
173+ stat_before=$(stat --format="%n %s %y %U %G %m %i" "/opt/eessi/nvidia/x86_64/host/driver_version.txt")
174174
175175 # Run script again
176176 output=$(./scripts/gpu_support/nvidia/link_nvidia_host_libraries.sh || { echo "Script returned non-zero: $?"; echo $output; exit 1; })
@@ -179,8 +179,8 @@ jobs:
179179
180180 echo ">>> Running checks"
181181
182- # Store file timestamps after second run
183- stat_after=$(stat "/opt/eessi/nvidia/x86_64/host/driver_version.txt")
182+ # Store file timestamps after second run (ignoring access time)
183+ stat_after=$(stat --format="%n %s %y %U %G %m %i" "/opt/eessi/nvidia/x86_64/host/driver_version.txt")
184184
185185 # Compare timestamps - should be the same (files shouldn't be modified)
186186 if [[ "$stat_before" != "$stat_after" ]]; then
You can’t perform that action at this time.
0 commit comments