diff -r 7572c5bf7bb3 -r 342ad851ec78 examples/rt/libm.o_shipped
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/examples/rt/libm.o_shipped	Wed May 10 07:41:38 2006 +0000
@@ -0,0 +1,1 @@
+/usr/lib/libm.a
\ No newline at end of file