[Bug c/14251] Use POSIX-compatible flags for 'head' and 'tail'

[bangerth at dealii dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
   Last reconfirmed|0000-00-00 00:00:00         |2004-04-29 22:24:00
               date|                            |


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