|
@@ -152,8 +152,8 @@ def bootstrap():
|
|
|
self.file_b.write(text)
|
|
|
|
|
|
try:
|
|
|
- with gzip.open("bootstrap/bootstrap.m.gz", "wb") as fa:
|
|
|
- with gzip.open("bootstrap/minimal.m.gz", "wb") as fb:
|
|
|
+ with gzip.GzipFile("bootstrap/bootstrap.m.gz", "wb", mtime=0) as fa:
|
|
|
+ with gzip.GzipFile("bootstrap/minimal.m.gz", "wb", mtime=0) as fb:
|
|
|
f = Writer(fa, fb)
|
|
|
# Create the root first
|
|
|
f.write("Node root()\n")
|