diff options
| -rwxr-xr-x | configure | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/configure b/configure index ecdb33a58e..728caca0d0 100755 --- a/configure +++ b/configure @@ -1360,6 +1360,14 @@ esac fi ########################################## +# pkg-config probe + +if ! has "$pkg_config_exe"; then + echo "Error: pkg-config binary '$pkg_config_exe' not found" + exit 1 +fi + +########################################## # NPTL probe if test "$nptl" != "no" ; then @@ -1590,14 +1598,6 @@ if test "$xen_pci_passthrough" != "no"; then fi ########################################## -# pkg-config probe - -if ! has "$pkg_config_exe"; then - echo "Error: pkg-config binary '$pkg_config_exe' not found" - exit 1 -fi - -########################################## # libtool probe if ! has $libtool; then |