diff --git a/Makefile b/Makefile index a92c6525..6160e4c6 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