proper Boolean polarity (amending 527daf6823fb after 3b0f8f1010f2);
authorwenzelm
Tue, 11 Feb 2025 23:31:12 +0100
changeset 82141 9f509bc10a63
parent 82140 14ab8005f490
child 82142 508a673c87ac
proper Boolean polarity (amending 527daf6823fb after 3b0f8f1010f2);
src/Pure/Admin/component_jcef.scala
--- 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))