From 6cf3127527060f1d861dc9bf1666329c09aea631 Mon Sep 17 00:00:00 2001
From: Gilles Peskine <Gilles.Peskine@arm.com>
Date: Mon, 29 Jul 2019 23:42:50 +0200
Subject: [PATCH] Report an error if switching to Python fails

---
 scripts/config.pl | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

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