diff options
| -rwxr-xr-x | configure | 10 |
1 files changed, 3 insertions, 7 deletions
diff --git a/configure b/configure index a1394eb1ac..d88e3ea434 100755 --- a/configure +++ b/configure @@ -1197,13 +1197,9 @@ if test "$solaris" = "yes" ; then fi fi -if test "$guest_agent" != "no" ; then - if has $python; then - : - else - echo "Python not found. Use --python=/path/to/python" - exit 1 - fi +if ! has $python; then + echo "Python not found. Use --python=/path/to/python" + exit 1 fi if test -z "$target_list" ; then |