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