diff --git a/scripts/config.pl b/scripts/config.pl index a303d2f86..c836b37af 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;