diff options
| author | rghetta@larix.it <rghetta@larix.it> | 2012-04-18 19:59:04 +0400 |
|---|---|---|
| committer | rghetta@larix.it <rghetta@larix.it> | 2012-04-18 19:59:04 +0400 |
| commit | ac4cf430c7b44818464c9d019469deaf79a432d5 (patch) | |
| tree | 68673e1df54652b47d0485214bc84ce4089a84bf /src/base | |
| parent | 69f9860446f071ade890b8461ce1d824025b5cfe (diff) | |
adds option generate_user to control .user files
--HG--
branch : WDS-build
Diffstat (limited to 'src/base')
| -rw-r--r-- | src/base/cmdline.lua | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/base/cmdline.lua b/src/base/cmdline.lua index 592edff..5bfe02d 100644 --- a/src/base/cmdline.lua +++ b/src/base/cmdline.lua @@ -88,4 +88,10 @@ trigger = "version", description = "Display version information" } + + newoption + { + trigger = "generate_user", + description = "Generate (and remove when cleaning) .user VStudio files" + }
\ No newline at end of file |