[Bug other/15213] Use POSIX-compatible flags for 'head' and 'tail'

[bangerth at dealii dot org]

------- Additional Comments From bangerth at dealii dot org  2004-04-29 22:20 -------
Actually, closing the other report is not correct. It should be suspended, 
since we are waiting for action from somewhere else. 
W. 

-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15213