Code

git-instaweb: Remove pidfile after stopping web server
[git.git] / check_bindir
1 #!/bin/sh
2 bindir="$1"
3 gitexecdir="$2"
4 gitcmd="$3"
5 if test "$bindir" != "$gitexecdir" -a -x "$gitcmd"
6 then
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
13 fi