diff Makefile @ 1539:5e47e42b14ba

use posix compliant option for head head -N is not posix compliant, head -n N should be used instead
author Benoit Boissinot <benoit.boissinot@ens-lyon.org>
date Sun, 13 Nov 2005 16:25:45 +0100
parents e84c69b43cdb
children 8a2a7f7d9df6
line wrap: on
line diff