From 586e5186e16f6f50098f0d6624094669b39a517d Mon Sep 17 00:00:00 2001 From: Harry Ramsey Date: Thu, 3 Oct 2024 15:36:32 +0100 Subject: [PATCH] Remove obsolete config.pl This commit removes the obsolte config.pl file which was used to transition to config.py. Signed-off-by: Harry Ramsey --- scripts/config.pl | 14 -------------- 1 file changed, 14 deletions(-) delete mode 100755 scripts/config.pl diff --git a/scripts/config.pl b/scripts/config.pl deleted file mode 100755 index ca02b90460..0000000000 --- a/scripts/config.pl +++ /dev/null @@ -1,14 +0,0 @@ -#!/usr/bin/env perl -# Backward compatibility redirection - -## Copyright The Mbed TLS Contributors -## SPDX-License-Identifier: Apache-2.0 OR GPL-2.0-or-later -## - -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: $!. Trying python instead.\n"; -exec 'python', $py, @ARGV; -print STDERR "$0: python: $!\n"; -exit 127;