PR# 19487 ECF wrong error message for -config_option

Problem Report Summary
Submitter: gobobe
Category: Compiler
Priority: Medium
Date: 2018/10/25
Class: Bug
Severity: Non-critical
Number: 19487
Confidential: No
Status: Open
Environment: win
Synopsis: ECF wrong error message for -config_option

I get this error:

C:\gobo> ec -config system.ecf -target x_free_elks_debug -config_option warning:true
ISE EiffelStudio version GPL Edition - win64

C:\DriveE\Eiffel\ise\\studio\spec\win64\bin\ec.exe: incorrect options

Error in command-line option "-config_option": Unknown configuration option "warning" (Available options: concurrency, platform, msil_application_optimize, profile, optimize, postcondition, trace, is_obsolete_routine_type, full_class_checking, warning, debug, check, is_attached_by_default, supplier_precondition, loop, invariant, precondition, msil_generation_type, msil_clr_version, msil_classes_per_module, inlining_size, ...)

despite the fact that warning appears in the list of supported options.

In fact we get the same problem for all options which are not ECF settings or capabilities.

Eric Bezault
To Reproduce

Problem Report Interactions