tree c659421a69104bb14e8435edf0919df4b034f4e8
parent 5f0ccd5a3cb17a0f2dae0bbc7bcd2a1db35d5b34
parent 987e271b16ab66bc1b610399b7d5a2bf32158104
author Gilles Peskine <gilles.peskine@arm.com> 1575623375 +0100
committer GitHub <noreply@github.com> 1575623375 +0100
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJd6hrPCRBK7hj4Ov3rIwAAdHIIAFKsjNFBqDmAZX98x4PzhDwe
 8gkXdP/+n8AH39y1sao7mizYIQ7ZgaQxXNQ8UXLc/BL0xU7oobsbjVMj2Zr1iRWf
 UVfZQJufl3haSK2gQkQ8L2Rx8JvpqnepmVQCd14BoNGS2V7BOZaPWsKhD/X9nJ9x
 tBIz4kI/hnb7oRGPjJ8X1Q6Pq1jgBzHhVgPT0DdO8jlkZsmK4rGJpgZpoNS+twCV
 gMgOXWLCDuzxrubycRfwpYGWLNY0y/okUO5AbzSCXs8MjVn0DSAVjv3jGgdMu9tR
 FUPzT1mwUh4fTrG30P1Gqn3bO6ZU5KOb8nmWdABulbwI7i861ItPwMwmMSBnzIc=
 =hwBS
 -----END PGP SIGNATURE-----
 

Merge pull request #2935 from gilles-peskine-arm/config_py-pl_error_clarity

config.pl: If python3 fails, make it clear that this isn't fatal