PR# 13721 Missing #error preprocessor directive

Problem Report Summary
Submitter: prestoat2000
Category: Runtime
Priority: Medium
Date: 2007/12/06
Class: Bug
Severity: Non-critical
Number: 13721
Release: 6.1.71281
Confidential: No
Status: Open
Responsible:
Environment: Mozilla/5.0 (X11; U; SunOS sun4u; en-US; rv:1.8.0.7) Gecko/20060915 Firefox/1.5.0.7 Solaris 9 on SPARC
Synopsis: Missing #error preprocessor directive

Description
Seems like you should use the #error C preprocessor directive in
Src/C/run-time/eif_globals.h for this code:

       Platform not supported for multithreading, check that you are using
       the correct EIFFEL flags

Src/C/run-time/include/rt_threads.h does use the #error directive when
multithreading is not supported.
To Reproduce

										
Problem Report Interactions