comparison gnulib-tool @ 9889:0be6f1ab456d

Flush the standard error stream before aborting.
author Bruno Haible <bruno@clisp.org>
date Fri, 11 Apr 2008 16:31:39 +0200
parents f2408973947f
children e1449fcc7ecb
comparison
equal deleted inserted replaced
9888:4552418ad371 9889:0be6f1ab456d