diff --git a/Makefile b/Makefile index 2d247a4ca..320eec018 100644 --- a/Makefile +++ b/Makefile @@ -86,7 +86,7 @@ OBJS = kernel/version_$(GIT_REV).o # is just a symlink to your actual ABC working directory, as 'make mrproper' # will remove the 'abc' directory and you do not want to accidentally # delete your work on ABC.. -ABCREV = fe96921e5d50 +ABCREV = a2fcd1cc61a6 ABCPULL = 1 ABCURL ?= https://bitbucket.org/alanmi/abc ABCMKARGS = CC="$(CXX)" CXX="$(CXX)"