那个是makefile自动处理工具,不算是批处理的。
make工具是用来检查文件更新的。
makefile里规定了文件依赖,一旦目标文件不存在,或者依赖文件被更新,就执行规定的动作。如果目标文件已经存在并且新于依赖的文件,那么就不执行动作。
比如
$(eps)/$(eps).mp3: $(eps)/main.avi
ffmpeg.exe -i $(eps)/main.avi -acodec copy -vn -y $(eps)/$(eps).mp3
就是指,如果mp3文件不存在,或者mp3比avi文件旧,就执行ffmpeg。
代码保存为「makefile」或者「Makefile」,然后在目录下运行make或者mingw32-make就可以了。