--- old/make/linux/makefiles/vm.make 2013-07-03 14:21:10.125196002 -0400 +++ new/make/linux/makefiles/vm.make 2013-07-03 14:21:09.590558460 -0400 @@ -46,6 +46,7 @@ include $(MAKEFILES_DIR)/zeroshark.make else include $(MAKEFILES_DIR)/$(BUILDARCH).make + -include $(HS_ALT_MAKE)/$(Platform_os_family)/makefiles/$(BUILDARCH).make endif # set VPATH so make knows where to look for source files