check_bindiron commit diff: migrate diff_flags.pickaxe_ignore_case to a pickaxe_opts bit (c1ddc46)
   1#!/bin/sh
   2bindir="$1"
   3gitexecdir="$2"
   4gitcmd="$3"
   5if test "$bindir" != "$gitexecdir" && test -x "$gitcmd"
   6then
   7        echo
   8        echo "!! You have installed git-* commands to new gitexecdir."
   9        echo "!! Old version git-* commands still remain in bindir."
  10        echo "!! Mixing two versions of Git will lead to problems."
  11        echo "!! Please remove old version commands in bindir now."
  12        echo
  13fi