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 {