comparison version.sh @ 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 4964a530de54
children 3bb138f3c634
comparison
equal deleted inserted replaced
31467:98e1af7a4077 31468:dbab16182ba2