summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 9a8bd940..f4f46785 100644
--- a/Makefile
+++ b/Makefile
@@ -27,7 +27,7 @@ YOSYS_VER := 0.0.x
GIT_REV := $(shell git rev-parse --short HEAD || echo UNKOWN)
OBJS = kernel/version_$(GIT_REV).o
-ABCREV = 0f9e5488ced3
+ABCREV = 766d323095c4
ABCPULL = 1
-include Makefile.conf