diff Makefile @ 29968:4e0ff9be2b1e

Avoid '&>' bashism for redirecting both stdout and stderr.
author diego
date Sun, 13 Dec 2009 23:48:20 +0000
parents 1752ec1e845a
children d6a9eeff0125
line wrap: on
line diff