Added commit count to devel version number

diff --git a/Makefile b/Makefile
index 7e8c7042b1acec9ecc1d11555b6106f72b7b4f82..5a75320c341a7b76580c4bd4c1e934d6b768215a 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -44,7 +44,7 @@ else
        LDLIBS += -lrt
 endif
 
-YOSYS_VER := 0.3.0+
+YOSYS_VER := 0.3.0+$(shell test -d .git && { git log --author=clifford@clifford.at --oneline ca125bf41.. | wc -l; })
 GIT_REV := $(shell git rev-parse --short HEAD 2> /dev/null || echo UNKNOWN)
 OBJS = kernel/version_$(GIT_REV).o