Index: Makefile
===================================================================
--- Makefile	(revision a1c7827af984370e76d121c012b0cd38ddb523d5)
+++ Makefile	(revision 450cd3a5ceb1c9d0d3b430b9ba52787108cbe473)
@@ -36,5 +36,4 @@
 	softint \
 	softfloat \
-	libipc \
 	libadt \
 	init \