make命令确定文件是否应编译的依据是（）A文件生成时间B文件生成大小C文件类型D文件属性