benchmark.sh: Pass -n to gzip

This removes metadata from the compressed file so that identical
input files will produce identical compressed files.
This commit is contained in:
Tom Stellard 2021-07-17 22:47:02 -07:00 committed by Tom Stellard
parent b937cb2e20
commit 363cf73b13
1 changed files with 1 additions and 1 deletions

View File

@ -51,7 +51,7 @@ set -x
if [ -n "$verify" ]; then
./bygfoot --random-seed=1 --json=$input_dir/verify$input_suffix.json &> $output_dir/verify.log
gzip $output_dir/verify.log
gzip -n $output_dir/verify.log
fi
if [ -n "$benchmark" ]; then