Do not fail if output and workspace are the same

This commit is contained in:
Mikhail f. Shiryaev 2022-05-17 23:56:22 +02:00
parent 33eed2280b
commit 79c30f5e58
No known key found for this signature in database
GPG Key ID: 4B02ED204C7D93F4

View File

@ -184,4 +184,6 @@ ls -lath
report analyze benchmark metrics \ report analyze benchmark metrics \
./*.core.dmp ./*.core ./*.core.dmp ./*.core
# If the files aren't same, copy it
cmp --silent compare.log /output/compare.log || \
cp compare.log /output cp compare.log /output