GaloisInc/HaLVM — pull request #35 by liuw (2014-09-01 13:54:42+00:00)
Title: build: fix configure.ac

In my previous commit 8e5e8c18 ("build: search user supplied directory
for shared libraries") I accidently submitted a wrong version of my
patch, which breaks build without a user supplied Xen tree. This patch
fixes that bug.