diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -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 |