mirror of
https://github.com/git/git
synced 2024-08-27 19:49:21 +00:00
typo fix: Directory `...' exist, ...: s/exist/exists/
Signed-off-by: Jim Meyering <meyering@redhat.com> Signed-off-by: Shawn O. Pearce <spearce@spearce.org>
This commit is contained in:
parent
c9486ae847
commit
0484682ef3
|
@ -98,7 +98,7 @@ module_clone()
|
||||||
if test -d "$path"
|
if test -d "$path"
|
||||||
then
|
then
|
||||||
rmdir "$path" 2>/dev/null ||
|
rmdir "$path" 2>/dev/null ||
|
||||||
die "Directory '$path' exist, but is neither empty nor a git repository"
|
die "Directory '$path' exists, but is neither empty nor a git repository"
|
||||||
fi
|
fi
|
||||||
|
|
||||||
test -e "$path" &&
|
test -e "$path" &&
|
||||||
|
|
Loading…
Reference in a new issue