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