diff TOOLS/Makefile @ 13895:0109b5a6234f

Handle "tail" and "head" properly. If using "-1" does not work then use "-n 1". Throw away warnings in both cases.
author mosu
date Sun, 07 Nov 2004 21:58:29 +0000
parents 03188593a9fe
children 7bae32bc0ed7
line wrap: on
line diff