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.