Subject: bug#17075: closed (Re: [bug-diffutils] bug#17075: diff - - exits immediately)

From: [email-masked] (GNU bug Tracking System)
Date: Sun, 30 Mar 2014 05:05:03 +0000

Your bug report

#17075: diff - - exits immediately

which was filed against the diffutils package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to [email-masked].

-- 
17075: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=17075
GNU Bug Tracking System
Contact [email-masked] with problems

Subject: Re: [bug-diffutils] bug#17075: diff - - exits immediately
From: Paul Eggert <[email-masked]>
To: Karl Berry <[email-masked]>
Cc: [email-masked]
Date: Sat, 29 Mar 2014 22:04:25 -0700
List-Id: <debbugs-submit.debbugs.gnu.org>

Karl Berry wrote:
> Thanks for the doc patch, looks good to me.

Thanks; closing the bug report.

Subject: diff - - exits immediately
From: [email-masked] (Karl Berry)
To: [email-masked]
Date: Sun, 23 Mar 2014 21:20:47 GMT
List-Id: <debbugs-submit.debbugs.gnu.org>

With diff 3.3, running
  diff - -
exits immediately, and successfully, for me.  (Compiled from the original
GNU source, running on CentOS 6.5.)

It seems like it should either read stdin twice (probably too much
trouble), or read stdin once and then abort when it can't be read again,
or just abort immediately.  Or something, just not success.

FWIW ...

karl