From eb5b64a8e65b83ec9767352922f8d856325e811a Mon Sep 17 00:00:00 2001 From: bebbo Date: Sat, 16 Jun 2018 22:32:03 +0200 Subject: [PATCH] fix repo switch --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 8e1d4e4..48f5aec 100644 --- a/Makefile +++ b/Makefile @@ -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