# Extra configuration fragment for opcodes.

echo '#include ":opcode:mips.h"' >'opcode/mips.h'