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. *)