* make-dist: Avoid "Bad fd number" error with dash.
authorGlenn Morris <rgm@gnu.org>
Sat, 2 Feb 2019 01:56:25 +0000 (17:56 -0800)
committerGlenn Morris <rgm@gnu.org>
Sat, 2 Feb 2019 01:56:25 +0000 (17:56 -0800)
commit4bce79d2a3c06898c7ba2bebb43493008f631a15
tree2e5d5b0d5bf509965b25cf1265a3f5e539a2e27e
parentf31c83cba790cb58699e894f0c8ad46d314ff868
* make-dist: Avoid "Bad fd number" error with dash.
make-dist