| Message ID | 1289735342-8660-10-git-send-email-pbonzini@redhat.com |
|---|---|
| State | New |
| Headers | show |
diff --git a/configure b/configure index 5ec1069..4556a1d 100755 --- a/configure +++ b/configure @@ -1156,8 +1156,8 @@ 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 + 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 | 4 ++-- 1 files changed, 2 insertions(+), 2 deletions(-)