4.4BSD/usr/src/contrib/gdb-4.7.lbl/gdb/config/umax.mt
# Target: Encore running umax 4.2 TDEPFILES= ns32k-pinsn.o TM_FILE= tm-umax.h