希望提供指定语言的选项。另外希望直接在magic命令这里提供有选择性得输出想要的out文件的选项。

希望提供指定语言的选项。另外希望直接在magic命令这里提供有选择性得输出想要的out文件的选项。 #4033