tree 8f16492fce2ea7e823f34f57218b0c7ba26f9212
parent d3bb3cfd7a4a2358ba7927d5913ecbeb5cfaf577
author Marc Herbert <marc.herbert@intel.com> 1553203440 -0700
committer Anas Nashif <anas.nashif@intel.com> 1553861573 -0400

file2hex.py: switch from gzip.compress() to GzipFile()

Zero functional change, this is pure refactoring and preparation for
using the mtime= parameter which the gzip.compress() shortcut does not
make available.

Signed-off-by: Marc Herbert <marc.herbert@intel.com>