diff options
Diffstat (limited to 'gnulib-tool')
-rwxr-xr-x | gnulib-tool | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gnulib-tool b/gnulib-tool index 8aa84b3f99..eb1e5a2d11 100755 --- a/gnulib-tool +++ b/gnulib-tool @@ -1477,7 +1477,7 @@ func_lookup_file () lkbase=`echo "$lkfile" | sed -e 's,^.*/,,'` rm -f "$tmp/$lkbase" cp "$gnulib_dir/$lkfile" "$tmp/$lkbase" - patch -s "$tmp/$lkbase" < "$local_gnulib_dir/$lkfile.diff" \ + patch -s "$tmp/$lkbase" < "$local_gnulib_dir/$lkfile.diff" >&2 \ || func_fatal_error "patch file $local_gnulib_dir/$lkfile.diff didn't apply cleanly" lookedup_file="$tmp/$lkbase" lookedup_tmp=true |