From: John Darrington <john@darrington.wattle.id.au>
Date: Mon, 21 Dec 2015 09:58:51 +0000 (+0100)
Subject: Improved the autoconf test for xmllint
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=8a4ffde673c1bdfc687ff2a504036313f3595157;hp=8a4ffde673c1bdfc687ff2a504036313f3595157;p=pspp

Improved the autoconf test for xmllint
---