summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Makefile4
1 files changed, 2 insertions, 2 deletions
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