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