From 987e271b16ab66bc1b610399b7d5a2bf32158104 Mon Sep 17 00:00:00 2001
From: Gilles Peskine <Gilles.Peskine@arm.com>
Date: Tue, 26 Nov 2019 13:30:16 +0100
Subject: [PATCH] If python3 fails, make it clear that this isn't fatal

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

diff --git a/scripts/config.pl b/scripts/config.pl
index a303d2f866..c836b37af5 100755
--- a/scripts/config.pl
+++ b/scripts/config.pl
@@ -21,7 +21,7 @@
 my $py = $0;
 $py =~ s/\.pl$/.py/ or die "Unable to determine the name of the Python script";
 exec 'python3', $py, @ARGV;
-print STDERR "$0: python3: $!\n";
+print STDERR "$0: python3: $!. Trying python instead.\n";
 exec 'python', $py, @ARGV;
 print STDERR "$0: python: $!\n";
 exit 127;