From 4bce79d2a3c06898c7ba2bebb43493008f631a15 Mon Sep 17 00:00:00 2001
From: Glenn Morris <rgm@gnu.org>
Date: Fri, 1 Feb 2019 17:56:25 -0800
Subject: * make-dist: Avoid "Bad fd number" error with dash.

---
 make-dist | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'make-dist')

diff --git a/make-dist b/make-dist
index d5373be50e4..ef35c87c355 100755
--- a/make-dist
+++ b/make-dist
@@ -496,7 +496,7 @@ if [ "${make_tar}" = yes ]; then
    case $default_gzip in
      cat) tar $taropt -cf - $emacsname;;
      *) if tar $taropt -cf /dev/null --use-compress-program="$default_gzip" \
-	       $emacsname/src/lisp.h >& /dev/null
+	       $emacsname/src/lisp.h > /dev/null 2>&1
 	then
 	  tar $taropt -cf - --use-compress-program="$default_gzip" $emacsname
 	else
-- 
cgit v1.2.3