# HG changeset patch # User Bruno Haible # Date 1504945509 -7200 # Node ID 5457601180bdf06daecdf63d2244928c94863faf # Parent 1cfb10799ba50d502f4c8ecfccd8480ba1d738de gnulib-tool.py: follow gnulib-tool changes, part 12 Follow gnulib-tool change 2015-02-03 Pádraig Brady gnulib-tool: fix handling of patch(1) diagnostics diff -r 1cfb10799ba5 -r 5457601180bd pygnulib/GLFileSystem.py --- a/pygnulib/GLFileSystem.py Sat Sep 09 10:21:00 2017 +0200 +++ b/pygnulib/GLFileSystem.py Sat Sep 09 10:25:09 2017 +0200 @@ -99,7 +99,7 @@ if isfile(path_gnulib): if self.config['localdir'] and isfile(path_diff): shutil.copy(path_gnulib, path_temp) - command = 'patch -s "%s" < "%s"' % (path_temp, path_diff) + command = 'patch -s "%s" < "%s" >&2' % (path_temp, path_diff) try: # Try to apply patch sp.check_call(command, shell=True) except sp.CalledProcessError as error: