Modified: trunk/base/src/port1.0/portconfigure.tcl (102440 => 102441)

--- trunk/base/src/port1.0/portconfigure.tcl	2013-02-03 04:46:15 UTC (rev 102440)
+++ trunk/base/src/port1.0/portconfigure.tcl	2013-02-03 06:25:20 UTC (rev 102441)
@@ -388,14 +388,7 @@
 
 # check if a compiler comes from a port
 proc portconfigure::compiler_is_port {compiler} {
-    switch $compiler {
-        clang -
-        llvm-gcc-4.2 -
-        gcc-4.2 -
-        gcc-4.0 -
-        gcc-3.3 {return no}
-        default {return yes}
-    }
+    return [info exists portconfigure::compiler_name_map($compiler)]
 }
 
 # maps compiler names to the port that provides them