Add a `-eiffel' command line option.

Status: Alpha

Brought to you by: jsedwards

#10 Add a `-eiffel' command line option.

Milestone: Accepted

Status: open

Owner: nobody

Labels: New Compiler Feature (10)

Priority: 5

Updated: 2001-03-17

Created: 2001-03-17

Private: No

Add a `-eiffel' command line option which tells the
compiler not to allow any Fine extensions to Eiffel.