Use only redirections understood by sh
authorGiuseppe Lettieri <g.lettieri@iet.unipi.it>
Fri, 23 Nov 2012 12:54:48 +0000 (13:54 +0100)
committerGiuseppe Lettieri <g.lettieri@iet.unipi.it>
Fri, 23 Nov 2012 12:54:48 +0000 (13:54 +0100)
Plain 'sh' interprets '&>' as '& >', causing unwanted races
in the Makefile.


No differences found