Changeset 4289 for trunk/configs/eclipse.config

Timestamp:

05/30/08 06:47:50 (6 months ago)

Author:

pmoura

Message:

Added a new default compiler option, multifile_directive, to all config files. Possible values are "supported" and "unsupported".

Files:

• trunk/configs/eclipse.config (modified) (2 diffs)

trunk/configs/eclipse.config

@@ -6 +6 @@
 %  configuration file for ECLiPSe 5.10#26 and later versions
 %
-%  last updated: January 23, 2008
+%  last updated: May 30, 2008
 %
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
@@ -316 +316 @@
 
 '$lgt_default_flag'(encoding_directive, unsupported).
+'$lgt_default_flag'(multifile_directive, unsupported).
 '$lgt_default_flag'(threads, unsupported).