Fix several search path configure options
authorJose A. Lopes <jabolopes@google.com>
Fri, 11 Oct 2013 08:12:32 +0000 (10:12 +0200)
committerJose A. Lopes <jabolopes@google.com>
Tue, 15 Oct 2013 09:29:37 +0000 (11:29 +0200)
commitf1b816b72e895bab13041ca570d7f72fb72987ed
tree67c9ac8671b0cf1b0f0e8d9cbb4f2901117cfe57
parent30a31713d2ac5eb64d14915d164ef496302de6a8
Fix several search path configure options

Fix several search path configure options to properly handle
separators.

Signed-off-by: Jose A. Lopes <jabolopes@google.com>
Reviewed-by: Klaus Aehlig <aehlig@google.com>
Makefile.am
configure.ac
src/AutoConf.hs.in