#!/bin/bash

set -e				# stop on error

make essai

./essai

convert -delay 10 WS/*.pgm foo.gif