# HG changeset patch
# User wenzelm
# Date 1739313072 -3600
# Node ID 9f509bc10a634943eb96176937627f4413360e35
# Parent  14ab8005f49061f786554208e4bbaa2812d594e1
proper Boolean polarity (amending 527daf6823fb after 3b0f8f1010f2);

diff -r 14ab8005f490 -r 9f509bc10a63 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))