# Target: ns32k with a.out on Mach 3 TDEPFILES= ns32k-pinsn.o ns32k-tdep.o TM_FILE= tm-ns32km3.h