From a103c180327481af3f4e2c736adb783e97e34f33 Mon Sep 17 00:00:00 2001
From: Gilles Peskine <Gilles.Peskine@arm.com>
Date: Thu, 5 Sep 2019 20:29:22 +0200
Subject: [PATCH] Compatibility redirect: if python3 is not available, try
 python

---
 scripts/config.pl | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/scripts/config.pl b/scripts/config.pl
index 4f6df09fd..ed6727639 100755
--- a/scripts/config.pl
+++ b/scripts/config.pl
@@ -4,4 +4,6 @@ my $py = $0;
 $py =~ s/\.pl$/.py/;
 exec 'python3', $py, @ARGV;
 print STDERR "$0: python3: $!\n";
+exec 'python', $py, @ARGV;
+print STDERR "$0: python: $!\n";
 exit 127;