diff osdep/gettimeofday.c @ 31468:dbab16182ba2

Get rid of xmllint wrapper redirection; run commands directly from make.
author diego
date Wed, 23 Jun 2010 12:07:29 +0000
parents 5cfef41a1771
children f5d48f0e33c3
line wrap: on
line diff