| Message ID | 1286888457-5033-11-git-send-email-pbonzini@redhat.com |
|---|---|
| State | New |
| Headers | show |
diff --git a/configure b/configure index ac11d4e..e072dde 100755 --- a/configure +++ b/configure @@ -1166,8 +1166,9 @@ fi # pkg-config probe if ! has $pkg_config; then - # likely not cross compiling, or hope for the best - pkg_config=pkg-config + echo warning: proceeding without "$pkg_config" >&2 + echo warning: proceeding without "$pkg_config" >&5 + pkg_config=/bin/false fi ##########################################
This can still be requested with PKG_CONFIG=/path/to/pkg-config. Just do not use it as a default, and print a warning. Signed-off-by: Paolo Bonzini <pbonzini@redhat.com> --- configure | 5 +++-- 1 files changed, 3 insertions(+), 2 deletions(-)