-
Jose A. Lopes authored
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>
f1b816b7
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>