K 10
svn:author
V 3
imp
K 8
svn:date
V 27
2012-10-25T02:38:05.705989Z
K 7
svn:log
V 156
We need ucmpdi2 for XLR and XLP when compiled in 32-bit mode.  Include
it here unconditionally while I figure out why "optional mips |
mipsel" didn't work.

END