diff options
| author | Melodi <62381002+Melodi17@users.noreply.github.com> | 2025-08-29 07:33:48 +1000 |
|---|---|---|
| committer | Melodi <62381002+Melodi17@users.noreply.github.com> | 2025-08-29 07:33:48 +1000 |
| commit | 40473797a117e6791e94140b0f01d034bce8bbb1 (patch) | |
| tree | 553b84b0c2491343523bc7ebf91dda54080991aa /Compiler/CompilerOptions.cs | |
| parent | 5d012f16b2a0200087afe9dffc906046d258b3b8 (diff) | |
some cleanup
Diffstat (limited to 'Compiler/CompilerOptions.cs')
| -rw-r--r-- | Compiler/CompilerOptions.cs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Compiler/CompilerOptions.cs b/Compiler/CompilerOptions.cs index c1f5c3a..87ec384 100644 --- a/Compiler/CompilerOptions.cs +++ b/Compiler/CompilerOptions.cs @@ -12,4 +12,7 @@ public class CompilerOptions [Option('c', "comment-compilation", Required = false, HelpText = "Comments to preserve in the compiled result")] public CommentCompilationMode CommentCompilationMode { get; set; } = CommentCompilationMode.UserDefined; + + [Option('v', "verbose", Required = false, HelpText = "Enable verbose output during compilation.")] + public bool Verbose { get; set; } = false; }
\ No newline at end of file |