| commit | 518ce0beb3f5cd9f540c77c6bd44f061f33c280e | [log] [tgz] |
|---|---|---|
| author | Gilles Peskine <Gilles.Peskine@arm.com> | Thu Sep 05 20:29:22 2019 +0200 |
| committer | Darryl Green <darryl.green@arm.com> | Wed Nov 13 14:33:34 2019 +0000 |
| tree | 8b3a73830562013d3a1fbc9f884ffd60b7bc14d4 | |
| parent | 261742bd599812543b011663616b1c39720ecc8c [diff] [blame] |
Compatibility redirect: if python3 is not available, try python
diff --git a/scripts/config.pl b/scripts/config.pl index 4f6df09..ed67276 100755 --- a/scripts/config.pl +++ b/scripts/config.pl
@@ -4,4 +4,6 @@ $py =~ s/\.pl$/.py/; exec 'python3', $py, @ARGV; print STDERR "$0: python3: $!\n"; +exec 'python', $py, @ARGV; +print STDERR "$0: python: $!\n"; exit 127;