diff options
| author | Tristan Gingold | 2015-09-14 21:25:01 +0200 |
|---|---|---|
| committer | Tristan Gingold | 2015-09-14 21:25:01 +0200 |
| commit | 2851e70ffac0e2074a8fc3111410e42c16999bb2 (patch) | |
| tree | 537e3195dca56834cdaac820d2dfd2b9c7271193 /src/grt/grt-options.ads | |
| parent | 0af83126cae63e9bd71deb924ca1b81c57e590d3 (diff) | |
| download | ghdl-2851e70ffac0e2074a8fc3111410e42c16999bb2.tar.gz ghdl-2851e70ffac0e2074a8fc3111410e42c16999bb2.tar.bz2 ghdl-2851e70ffac0e2074a8fc3111410e42c16999bb2.zip | |
grt: add --list-features, and --has-feature
Diffstat (limited to 'src/grt/grt-options.ads')
| -rw-r--r-- | src/grt/grt-options.ads | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/grt/grt-options.ads b/src/grt/grt-options.ads index 34180f1..44a85b6 100644 --- a/src/grt/grt-options.ads +++ b/src/grt/grt-options.ads @@ -65,8 +65,8 @@ package Grt.Options is -- Last option, next arguments aren't options. Decode_Option_Last, - -- --help option, program shouldn't run. - Decode_Option_Help, + -- For options like --help: program shouldn't run. + Decode_Option_Stop, -- Option was successfuly decoded. Decode_Option_Ok); |