From a3fa3818522cdf8ed09f27d5fde80155ff46c8dc Mon Sep 17 00:00:00 2001
From: Daniel Molina <danmolin@fdi.ucm.es>
Date: Fri, 2 Sep 2011 16:47:23 +0200
Subject: [PATCH] Use the same format for the CLI options help

---
 src/cli/command_parser.rb | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/cli/command_parser.rb b/src/cli/command_parser.rb
index 3878d5630e..3fb18ae7bd 100755
--- a/src/cli/command_parser.rb
+++ b/src/cli/command_parser.rb
@@ -223,7 +223,7 @@ EOT
 
             @opts.each{ |o|
                 str = ""
-                str << o[:short] if o[:short]
+                str << o[:short].split(' ').first << ', ' if o[:short]
                 str << o[:large]
 
                 printf opt_format, str, o[:description]