From c5212d2acda7eb21923e376f7c7b0d8ce8a108d1 Mon Sep 17 00:00:00 2001
From: Pino Toscano <ptoscano@redhat.com>
Date: Sun, 16 Dec 2018 16:42:46 +0100
Subject: [PATCH] RHEL 8: use platform-python

Use the stable platform-python provided in BaseOS, instead of relying on
some arbitrary version installed by the user.
---
 v2v/python_script.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/v2v/python_script.ml b/v2v/python_script.ml
index 3159373a1..f2c00c40f 100644
--- a/v2v/python_script.ml
+++ b/v2v/python_script.ml
@@ -24,7 +24,7 @@ open Unix_utils
 
 open Common_gettext.Gettext
 
-let python = "python3"          (* Defined by PEP 394 *)
+let python = "/usr/libexec/platform-python"
 
 type script = {
   tmpdir : string;              (* Temporary directory. *)
-- 
2.24.1