diff -r 8902b55920f4 -r 2b3e06f48ffe rt/libm.o_shipped
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/rt/libm.o_shipped	Fri Dec 16 09:23:56 2005 +0000
@@ -0,0 +1,1 @@
+/usr/lib/libm.a
\ No newline at end of file