Jim Meyering wrote: > +it is probably because you are using non-GNU-make with an old /bin/sh. If > so,
sed 's/with an old/or an old/ The workaround is to use GNU make *and* a different SHELL. Bruno -- In memoriam Nicholas Owen <http://en.wikipedia.org/wiki/Nicholas_Owen_(martyr)>
