--- amv.pl	2007/07/21 15:03:30	19
+++ amv.pl	2007/07/21 15:16:24	20
@@ -20,6 +20,7 @@
 my $dump = 0;
 my $debug = 0;
 my $dump_dir = '/tmp/dump/';
+my $dump_avi = "dump.avi";
 my $no_jpeg_header = 0;
 my $jpeg_q = 100;
 
@@ -354,3 +355,7 @@
 		die "unknown $list $name";
 	}
 }
+
+my $cmd = "ffmpeg -i $dump_dir/%04d.jpg -r 16 $dump_avi";
+system($cmd) == 0 || die "can't convert frames to avi using $cmd: $!";
+