Gilles Peskine 36428d34c9 Print a command trace if the check-names.sh exits unexpectedly
We've observed that sometimes check-names.sh exits unexpectedly with
status 2 and no error message. The failure is not reproducible. This
commits makes the script print a trace if it exits unexpectedly.
2019-05-15 17:29:15 +02:00
..
2016-01-12 14:48:03 +00:00
2019-02-27 11:03:25 +01:00
2015-04-09 10:53:11 +02:00
2015-08-04 17:46:21 +02:00
2019-02-27 11:03:25 +01:00
2017-05-16 17:53:03 +02:00
2019-02-27 11:03:25 +01:00