| commit | a103c180327481af3f4e2c736adb783e97e34f33 | [log] [tgz] |
|---|---|---|
| author | Gilles Peskine <Gilles.Peskine@arm.com> | Thu Sep 05 20:29:22 2019 +0200 |
| committer | Gilles Peskine <Gilles.Peskine@arm.com> | Fri Sep 13 11:04:24 2019 +0200 |
| tree | f93ffb853198a611c5411b7fc2b04649a1b83f6b | |
| parent | f686042554c8bb37e5fd7a0b4b5ffda2fbc5edeb [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;