Merge pull request #2935 from gilles-peskine-arm/config_py-pl_error_clarity

config.pl: If python3 fails, make it clear that this isn't fatal
This commit is contained in:
Gilles Peskine 2019-12-06 10:09:35 +01:00 committed by GitHub
commit a78acf1c6f
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -19,9 +19,9 @@
## This file is part of Mbed TLS (https://tls.mbed.org)
my $py = $0;
$py =~ s/\.pl$/.py/;
$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;