changeset 69789 | 2c3e5e58d93f |
parent 69788 | c175499a7537 |
child 69811 | 18f61ce86425 |
--- a/src/Pure/Thy/export.scala Mon Feb 04 15:45:40 2019 +0100 +++ b/src/Pure/Thy/export.scala Mon Feb 04 16:01:44 2019 +0100 @@ -301,7 +301,7 @@ progress.echo(export_prefix + "export " + path) Isabelle_System.mkdirs(path.dir) Bytes.write(path, entry.uncompressed(cache = store.xz_cache)) - if (entry.executable) File.executable(path) + File.set_executable(path, entry.executable) } } }