From 846b6b393d4ebf064887124d48ec79cabee2f2ba Mon Sep 17 00:00:00 2001 From: tobil4sk Date: Mon, 27 Mar 2023 15:18:49 +0100 Subject: [PATCH] Add boot -c flag to nekotools help (#273) --- src/tools/Tools.nml | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/src/tools/Tools.nml b/src/tools/Tools.nml index 7e11e7ef..fd6f1e0d 100644 --- a/src/tools/Tools.nml +++ b/src/tools/Tools.nml @@ -38,11 +38,14 @@ try { WebServer.init(); throw Done }) , " : start a neko web server"); + ("boot", Args.String (function(_) { + // separated from boot -c only for help message + }) , " : build a standalone executable"); ("boot", Args.String (function(_) { erase_argument(); neko "$loader.loadmodule('tools/nekoboot',$loader)"; throw Done; - }) , " : build an standalone executable"); + }) , "-c : build a standalone c program"); ]; Args.parse head decl invalid_arg; } catch {