fix repo switch

This commit is contained in:
bebbo
2018-06-16 22:32:03 +02:00
parent d52f7ebf53
commit eb5b64a8e6
+1 -1
View File
@@ -146,7 +146,7 @@ update-gcc: projects/gcc/configure
update-binutils: projects/binutils/configure
a=($$(cd projects/binutils && git remote -v | grep origin | grep '(fetch)')); echo $${a[1]} ; \
if [[ "$${a[1]}" != "$(BINUTILS_GIT)x" ]]; then \
if [[ "$${a[1]}" != "$(BINUTILS_GIT)" ]]; then \
rm -rf projects/binutils; \
$(MAKE) projects/binutils/configure; \
fi