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