toolcontext: hide some really internal options so they do not appears on --help
authorJean Privat <jean@pryen.org>
Tue, 4 Nov 2014 13:50:28 +0000 (08:50 -0500)
committerJean Privat <jean@pryen.org>
Tue, 4 Nov 2014 16:14:12 +0000 (11:14 -0500)
commit85eaf810cba4ee2557adc7eb81c5d5924cfc4104
tree181167822e684abbeae29bce9d895cf87e390c55
parent8c6a6a517cec9bdc527f3193cac8def18b7a70b3
toolcontext: hide some really internal options so they do not appears on --help

* --bash-completion
* --stub-man
* --set-dummy-tool
* --no-main

These options are still recognized, bash-completed and in the manpage

Signed-off-by: Jean Privat <jean@pryen.org>
src/compiler/abstract_compiler.nit
src/toolcontext.nit