diff -r 36d1fa37f5e1 -r bae4965439b8 rt/libec.o_shipped
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/rt/libec.o_shipped	Fri Jan 20 17:50:35 2006 +0000
@@ -0,0 +1,1 @@
+../libec/lib.a
\ No newline at end of file