I wanted -C

diff --git a/all b/all
index 9002abffe2e3395fc1b94cb01a251442adbdf72f..89c1d6edf90070aae4794e03b4a0058a6200b113 100755 (executable)
--- a/all
+++ b/all
@@ -1138,7 +1138,7 @@ case "$cmd" in
                                                        # apply crlf, or other cleanup filters (non-behavioural changes)
                                                        git reset --hard
                                                        find . -type f -exec touch {} \;
-                                                       git commit -a --amend -c HEAD || true # don't fail if nothing to commit
+                                                       git commit -a --amend -C HEAD || true # don't fail if nothing to commit
 
                                                        echo "MERGING"
                                                        case ",`repoflags "$d"`," in