diff --git a/scripts/config.pl b/scripts/config.pl index 95e31913a2..a303d2f866 100755 --- a/scripts/config.pl +++ b/scripts/config.pl @@ -19,7 +19,7 @@ ## 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"; exec 'python', $py, @ARGV;