--- old/make/linux/makefiles/top.make Fri Feb 7 11:53:41 2014 +++ new/make/linux/makefiles/top.make Fri Feb 7 11:53:41 2014 @@ -122,7 +122,7 @@ @$(UpdatePCH) @$(MAKE) -f vm.make $(MFLAGS-adjusted) -install gamma: the_vm +install: the_vm @$(MAKE) -f vm.make $@ # next rules support "make foo.[ois]"