diff options
Diffstat (limited to 'src/grt/grt-options.adb')
| -rw-r--r-- | src/grt/grt-options.adb | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/grt/grt-options.adb b/src/grt/grt-options.adb index eadca0068..d3d7a260e 100644 --- a/src/grt/grt-options.adb +++ b/src/grt/grt-options.adb @@ -239,6 +239,9 @@ package body Grt.Options is Status := Decode_Option_Ok; if Option = "--" then Status := Decode_Option_Last; + elsif Option (1) = '+' then + -- For VPI/VHPI - plusargs. + null; elsif Option = "--help" or else Option = "-h" then Help; Status := Decode_Option_Stop; |