On 04/02/2018 12:13 PM, Glenn Morris wrote:
> make-dist should exit with a non-zero
> status if the final tar command failed.

Good point, and there are a lot of other places where make-dist 
incorrectly ignores exit status. I attempted to fix low-hanging fruit in 
this area by installing the attached patch into master.