summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2013-12-31 14:39:02 +0100
committerClifford Wolf <clifford@clifford.at>2013-12-31 14:39:02 +0100
commit1cd975ef8de889bf7f51ea108fcb8df878c906df (patch)
treefd21c2652e6a95b2b3ae1243f2d931e43d0858ed
parentbe5dab87fd49f0095678d7b69d35a8456a641178 (diff)
Updated ABC to hg rev 57517e81666b
-rw-r--r--Makefile4
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile b/Makefile
index 2590033a..525d8513 100644
--- a/Makefile
+++ b/Makefile
@@ -31,13 +31,13 @@ YOSYS_VER := 0.1.0+
GIT_REV := $(shell git rev-parse --short HEAD || echo UNKOWN)
OBJS = kernel/version_$(GIT_REV).o
-# set 'ABC = default' to use abc/ as it is
+# set 'ABCREV = default' to use abc/ as it is
#
# Note: If you do ABC development, make sure that 'abc' in this directory
# 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 = 9241719523f6
+ABCREV = 57517e81666b
ABCPULL = 1
-include Makefile.conf