Renamed ABCHGPULL to ABCPULL in Makefile

diff --git a/Makefile b/Makefile
index a92c65257d7a4396a98c5676c49db84944fcd14e..6160e4c66dc1786f561167822dafeb990a1e2f91 100644 (file)
--- 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