changeset 76275 | b446004b2464 |
parent 76212 | f2094906e491 |
child 76276 | 13b733e78c26 |
--- a/etc/options Sun Oct 09 16:28:28 2022 +0200 +++ b/etc/options Wed Oct 12 11:15:36 2022 +0200 @@ -163,6 +163,9 @@ public option ML_system_64 : bool = false -- "ML system for 64bit platform is used if possible (change requires restart)" +public option ML_system_apple : bool = true + -- "prefer native Apple/ARM64 platform (change requires restart)" + public option ML_process_policy : string = "" -- "ML process command prefix (process policy)"