Google
 

Trailing-Edge - PDP-10 Archives - BB-M836C-BM - tools/exec-mods/mkmexc.cmd
There are 4 other files named mkmexc.cmd in the archive. Click here to see a list.
;This file is neccessary to assemble the MIC source modules.

EXEC:EXECF1+EXEC:EXECCA EXECC1
;EXEC:MICPRM MICPRM
;EXEC:EXECMI EXECMI