"-y", "--", filename.c_str(), (const char *)NULL);
else
execlp("ffmpeg", "ffmpeg", "-f", "image2pipe", "-vcodec",
"ppm", "-an", "-r",
strprintf("%f", desc.get_frame_rate()).c_str(),
"-i", "pipe:", "-loop_input",
"-y", "--", filename.c_str(), (const char *)NULL);
else
execlp("ffmpeg", "ffmpeg", "-f", "image2pipe", "-vcodec",
"ppm", "-an", "-r",
strprintf("%f", desc.get_frame_rate()).c_str(),
"-i", "pipe:", "-loop_input",