Having .git as a file it's also a valid situation

This commit is contained in:
pancake 2023-05-16 15:52:36 +02:00
parent 84cd8e5899
commit 5b94b38116
3 changed files with 3 additions and 3 deletions

View File

@ -11,7 +11,7 @@ gmake --help >/dev/null 2>&1
# find root
cd "$(dirname "$PWD/$0")" ; cd ..
if [ -d .git ]; then
if [ -e .git ]; then
echo git checkout "${REV}"
git checkout "${REV}"
fi

View File

@ -69,7 +69,7 @@ Clone() {
exit 1
fi
cd radare2-${1}
if [ -d .git ]; then
if [ -e .git ]; then
git reset --hard $1 || exit 1
mv .git _git
fi

View File

@ -51,7 +51,7 @@ done
# update
if [ $WITHOUT_PULL -eq 0 ]; then
if [ -d .git ]; then
if [ -e .git ]; then
git branch | grep "^\* master" > /dev/null
if [ $? = 0 ]; then
echo "WARNING: Updating from remote repository"