Index: src/org/eclipse/cdt/managedbuilder/ui/properties/BuildOptionSettingsPage.java
===================================================================
RCS file: /home/tools/org.eclipse.cdt-build/org.eclipse.cdt.managedbuilder.ui/src/org/eclipse/cdt/managedbuilder/ui/properties/BuildOptionSettingsPage.java,v
retrieving revision 1.5
diff -u -r1.5 BuildOptionSettingsPage.java
--- src/org/eclipse/cdt/managedbuilder/ui/properties/BuildOptionSettingsPage.java	8 Apr 2004 19:27:39 -0000	1.5
+++ src/org/eclipse/cdt/managedbuilder/ui/properties/BuildOptionSettingsPage.java	11 May 2004 03:34:50 -0000
@@ -139,8 +139,9 @@
 				case IOption.ENUMERATED :
 					String enumVal = getPreferenceStore().getString(
 							option.getId());
-					ManagedBuildManager.setOption(configuration, option,
-							enumVal);
+					String enumId = option.getEnumeratedId(enumVal);
+					ManagedBuildManager.setOption(configuration, option, 
+						(enumId.length() > 0) ? enumId : enumVal);
 					break;
 				case IOption.STRING :
 					String strVal = getPreferenceStore().getString(
Index: src/org/eclipse/cdt/managedbuilder/ui/properties/BuildToolSettingsPage.java
===================================================================
RCS file: /home/tools/org.eclipse.cdt-build/org.eclipse.cdt.managedbuilder.ui/src/org/eclipse/cdt/managedbuilder/ui/properties/BuildToolSettingsPage.java,v
retrieving revision 1.7
diff -u -r1.7 BuildToolSettingsPage.java
--- src/org/eclipse/cdt/managedbuilder/ui/properties/BuildToolSettingsPage.java	23 Mar 2004 16:31:21 -0000	1.7
+++ src/org/eclipse/cdt/managedbuilder/ui/properties/BuildToolSettingsPage.java	11 May 2004 03:34:50 -0000
@@ -431,7 +431,9 @@
 					break;
 				case IOption.ENUMERATED :
 					String enumVal = getPreferenceStore().getString(option.getId());
-					ManagedBuildManager.setOption(configuration, option, enumVal);
+					String enumId = option.getEnumeratedId(enumVal);
+					ManagedBuildManager.setOption(configuration, option, 
+							(enumId.length() > 0) ? enumId : enumVal);
 					break;
 				case IOption.STRING :
 					String strVal = getPreferenceStore().getString(option.getId());
