Merge pull request #2836 from bmwiedemann/gzip

Omit build date from gzip headers
This commit is contained in:
Daniel Hiltgen 2024-02-29 15:46:46 -08:00 committed by GitHub
commit bd1d8b0d14
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -101,7 +101,7 @@ compress_libs() {
pids=""
rm -rf ${BUILD_DIR}/lib/*.${LIB_EXT}*.gz
for lib in ${BUILD_DIR}/lib/*.${LIB_EXT}* ; do
gzip --best -f ${lib} &
gzip -n --best -f ${lib} &
pids+=" $!"
done
echo