diff --git a/src/tools/Tools.nml b/src/tools/Tools.nml index 84639d40..8ab5ed70 100644 --- a/src/tools/Tools.nml +++ b/src/tools/Tools.nml @@ -37,11 +37,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 {