--- Makefile.orig 2012-04-10 14:37:40.714499621 +0200 +++ Makefile 2012-04-10 14:33:54.379432390 +0200 @@ -68,7 +68,7 @@ $(MAKE) -f Make.top refresh_src arch=$(arch) $(MAKE) -f Make.top refresh_tst arch=$(arch) # -build : +build : startup $(MAKE) -f Make.top build_src arch=$(arch) $(MAKE) -f Make.top build_tst arch=$(arch) #