From 2851e70ffac0e2074a8fc3111410e42c16999bb2 Mon Sep 17 00:00:00 2001
From: Tristan Gingold
Date: Mon, 14 Sep 2015 21:25:01 +0200
Subject: grt: add --list-features, and --has-feature

---
 src/grt/grt-options.ads | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/grt/grt-options.ads')

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);
-- 
cgit