PR# 18855 "-options" should be "-debug" in ec -help

Problem Report Summary
Submitter: titoui
Category: Compiler
Priority: Low
Date: 2014/04/17
Class: Bug
Severity: Non-critical
Number: 18855
Release: 14.05.9.4787 GPL Edition
Confidential: No
Status: Closed
Responsible:
Environment: Linux Ubuntu 12.04 64 bits
Synopsis: "-options" should be "-debug" in ec -help

Description
When I use the 'ec -help' on a command line, I get the line:

...
-options: debug the system as a command loop.
...

I find this strange, so I tried it. The result: "ec: incorrect options". When I use the '-debug' option, I get the command line loop debugger. So I think that you have made a Typo when writing the "help" command line output.

To Reproduce
Type 

ec -help

on a command line terminal
Problem Report Interactions
From:manus_eiffel    Date:2014/04/17    Status: Closed    Download   
Thanks a lot. It will be fixed for the next release.