Generate gif from jpeg images using ffmpeg

I want to create a gif image from a jpeg image list, everything works fine, but how can I slow the animation?

Here is my code:

<?php
exec('ffmpeg -f image2 -i thumb/%001d.jpg -vf scale=480x240  out.gif');
?>