]> Savannah Git Hosting - gnulib.git/commitdiff
gnulib-tool.py: follow gnulib-tool changes, part 12
authorBruno Haible <bruno@clisp.org>
Sat, 9 Sep 2017 08:25:09 +0000 (10:25 +0200)
committerBruno Haible <bruno@clisp.org>
Sat, 9 Sep 2017 14:29:00 +0000 (16:29 +0200)
Follow gnulib-tool change
2015-02-03  Pádraig Brady  <P@draigBrady.com>
gnulib-tool: fix handling of patch(1) diagnostics

pygnulib/GLFileSystem.py

index 7db09e1ce66b824d0e370b20c428fa5a33e6e919..1e752068d44d991efab2baa89f7ba881c5e6e761 100644 (file)
@@ -99,7 +99,7 @@ class GLFileSystem(object):
             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: