# Target: Encore running umax 4.2
TDEPFILES= ns32k-tdep.o
TM_FILE= tm-umax.h