RHEL 8: use platform-python

Use the stable platform-python provided in BaseOS, instead of relying on
some arbitrary version installed by the user.
This commit is contained in:
Pino Toscano
2018-12-16 16:42:46 +01:00
parent 806618589c
commit fd3dcf4a4e

View File

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