mirror of
https://github.com/radareorg/radare2.git
synced 2024-11-27 07:00:30 +00:00
Check for .git extension in upstream remote in install scripts (#19808)
This commit is contained in:
parent
63d4172d94
commit
3fc98d4e7f
@ -68,7 +68,7 @@ if [ "$1" != "--without-pull" ]; then
|
||||
if [ $? = 0 ]; then
|
||||
echo "WARNING: Updating from remote repository"
|
||||
# Attempt to update from an existing remote
|
||||
UPSTREAM_REMOTE=$(git remote -v | grep 'radareorg/radare2 (fetch)' | cut -f1 | head -n1)
|
||||
UPSTREAM_REMOTE=$(git remote -v | grep 'radareorg/radare2\(\.git\)\? (fetch)' | cut -f1 | head -n1)
|
||||
if [ -n "$UPSTREAM_REMOTE" ]; then
|
||||
git pull "$UPSTREAM_REMOTE" master
|
||||
else
|
||||
|
@ -8,7 +8,7 @@ export ANDROID=1
|
||||
rm -f libr/include/r_version.h
|
||||
cp -f dist/plugins-cfg/plugins.termux.cfg plugins.cfg
|
||||
# Attempt to update from an existing remote
|
||||
UPSTREAM_REMOTE=$(git remote -v | grep 'radareorg/radare2 (fetch)' | cut -f1 | head -n1)
|
||||
UPSTREAM_REMOTE=$(git remote -v | grep 'radareorg/radare2\(\.git\)\? (fetch)' | cut -f1 | head -n1)
|
||||
if [ -n "$UPSTREAM_REMOTE" ]; then
|
||||
git pull "$UPSTREAM_REMOTE" master
|
||||
else
|
||||
|
@ -54,7 +54,7 @@ if [ $WITHOUT_PULL -eq 0 ]; then
|
||||
if [ $? = 0 ]; then
|
||||
echo "WARNING: Updating from remote repository"
|
||||
# Attempt to update from an existing remote
|
||||
UPSTREAM_REMOTE=$(git remote -v | grep 'radareorg/radare2 (fetch)' | cut -f1 | head -n1)
|
||||
UPSTREAM_REMOTE=$(git remote -v | grep 'radareorg/radare2\(\.git\)\? (fetch)' | cut -f1 | head -n1)
|
||||
if [ -n "$UPSTREAM_REMOTE" ]; then
|
||||
git pull "$UPSTREAM_REMOTE" master
|
||||
else
|
||||
|
Loading…
Reference in New Issue
Block a user