From 2df5cd87b25049cac02ea2cb002b29f445906ddf Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Sat, 16 Nov 2013 15:17:32 +0100 Subject: [PATCH] Renamed ABCHGPULL to ABCPULL in Makefile --- Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile index a92c65257..6160e4c66 100644 --- a/Makefile +++ b/Makefile @@ -27,7 +27,7 @@ GIT_REV := $(shell git rev-parse --short HEAD || echo UNKOWN) OBJS = kernel/version_$(GIT_REV).o ABCREV = 0f9e5488ced3 -ABCHGPULL = 1 +ABCPULL = 1 -include Makefile.conf @@ -98,7 +98,7 @@ yosys-svgviewer: libs/svgviewer/*.h libs/svgviewer/*.cpp cp libs/svgviewer/svgviewer yosys-svgviewer abc: -ifeq ($(ABCHGPULL),1) +ifeq ($(ABCPULL),1) test -d abc || hg clone https://bitbucket.org/alanmi/abc abc cd abc && hg pull && hg update -r $(ABCREV) endif -- 2.30.2