From da41a6e98418c7c1cc2856eb742b6501ae23e1c4 Mon Sep 17 00:00:00 2001 From: Luca Succi Date: Tue, 25 Aug 2026 14:51:33 +0200 Subject: [PATCH] Add jit option to the grisp configure task --- src/grisp_tools_configure.erl | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/grisp_tools_configure.erl b/src/grisp_tools_configure.erl index 357e5ed..6614f3b 100644 --- a/src/grisp_tools_configure.erl +++ b/src/grisp_tools_configure.erl @@ -134,6 +134,10 @@ settings_options() -> type = string, default = "28", description = "The OTP version of the GRiSP app", hint = "Specify the Erlang version to use"}, + #set_opts{prompt = "Enable the Arm32-JIT", long = jit, short = $j, + type = boolean, default = true, + description = "Applies jit patches to OTP if available", + hint = "Has effect only if jit patches are available for you selected OTP version"}, #set_opts{prompt = "SD Card path", long = dest, short = $d, type = string, default = "/path/to/SD-card", description = "The path to the SD card where you want to deploy "