#!/bin/bash

set -e				# stop on error

make essai

time ./essai

convert -delay 20 WS/A*.pgm foo.gif