author | wenzelm |
Tue, 11 Feb 2025 23:31:12 +0100 | |
changeset 82141 | 9f509bc10a63 |
parent 82140 | 14ab8005f490 |
child 82142 | 508a673c87ac |
--- a/src/Pure/Admin/component_jcef.scala Tue Feb 11 13:09:18 2025 +0100 +++ b/src/Pure/Admin/component_jcef.scala Tue Feb 11 23:31:12 2025 +0100 @@ -72,7 +72,7 @@ file <- File.find_files(platform_dir.file).iterator name = file.getName if File.is_dll(name) || File.is_exe(name) - } File.set_executable(File.path(file), true) + } File.set_executable(File.path(file)) val classpath = File.find_files(platform_dir.file, pred = file => File.is_jar(file.getName))