Index: Makefile
===================================================================
--- Makefile	(revision b419162567eebf03db8ff08a2d21f6d3003f1577)
+++ Makefile	(revision 7d1562e91720b63cf4433c9cf50e362355f8ab46)
@@ -36,5 +36,6 @@
 	libipc \
 	init \
-	softfloat
+	softfloat \
+	softint
 
 BUILDS := $(addsuffix .build,$(DIRS))