#! /bin/sh -v
echo $1 $2
echo $1 $2 >> /Volumes/Home/Users/bernard/homeserveur/lib/source/french/GNUmakefile.log