Merge branch 'jc/rename-degrade-cc-to-c' into maint

diff --git a/git-merge-one-file.sh b/git-merge-one-file.sh
index bb64a72ad3b8db6f43fafc5af87a1697b4bf2989..7aeb96952f668baef2fd18383806e13a20415f19 100755 (executable)
--- a/git-merge-one-file.sh
+++ b/git-merge-one-file.sh
@@ -112,7 +112,7 @@ case "${1:-.}${2:-.}${3:-.}" in
                # remove lines that are unique to ours.
                orig=`git-unpack-file $2`
                sz0=`wc -c <"$orig"`
-               diff -u -La/$orig -Lb/$orig $orig $src2 | git apply --no-add
+               @@DIFF@@ -u -La/$orig -Lb/$orig $orig $src2 | git apply --no-add
                sz1=`wc -c <"$orig"`
 
                # If we do not have enough common material, it is not