From 7d7ee9691f30a472c3c4e045ddfddf929d4b274a Mon Sep 17 00:00:00 2001
From: Federico Ressi <fressi@redhat.com>
Date: Fri, 21 Jan 2022 14:04:36 +0100
Subject: [PATCH] Fix bindeps installation on CentOS

Change-Id: I55d2dcc3652543d221b5c60967bff148fa98505e
---
 tools/install-bindeps.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/tools/install-bindeps.sh b/tools/install-bindeps.sh
index 454b1302b..f90ae12b4 100755
--- a/tools/install-bindeps.sh
+++ b/tools/install-bindeps.sh
@@ -4,8 +4,9 @@ set -ex
 
 INSTALL_PACKAGE=$(which yum || which apt)
 SUDO=$(which sudo || true)
+TOX="python3 -m tox"
 
-if ! tox -e bindep ; then
+if ! ${TOX} -e bindep ; then
   .tox/bindep/bin/bindep -b | xargs -r ${SUDO} "${INSTALL_PACKAGE}" install -y
   .tox/bindep/bin/bindep
 fi