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