| commit | 987e271b16ab66bc1b610399b7d5a2bf32158104 | [log] [tgz] |
|---|---|---|
| author | Gilles Peskine <Gilles.Peskine@arm.com> | Tue Nov 26 13:30:16 2019 +0100 |
| committer | Gilles Peskine <Gilles.Peskine@arm.com> | Tue Nov 26 13:30:16 2019 +0100 |
| tree | d1e7f32786e51359acaab527448716811aac0115 | |
| parent | df78e496b7acc17b9552e66df153e7d31f910537 [diff] |
If python3 fails, make it clear that this isn't fatal
diff --git a/scripts/config.pl b/scripts/config.pl index a303d2f..c836b37 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;