From: Bruno Haible <bruno@clisp.org>
Date: Sun, 31 Aug 2008 10:52:17 +0000 (+0200)
Subject: Oops, fix syntax error in last commit.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=1521ac9e7eb578c6ed6519c4e644a871a88311a6;p=pspp

Oops, fix syntax error in last commit.
---

diff --git a/gnulib-tool b/gnulib-tool
index e6dc3e0073..4a1d02e3ea 100755
--- a/gnulib-tool
+++ b/gnulib-tool
@@ -570,6 +570,7 @@ if test -n "$BASH_VERSION"; then
 else
   func_reset_sigpipe ()
   {
+    :
   }
 fi