diff --git a/Makefile b/Makefile
index 4c37bfb8d..78066b2e0 100644
--- a/Makefile
+++ b/Makefile
@@ -169,6 +169,8 @@ ifneq (, $(shell git rev-parse --git-dir 2>/dev/null))
     ifneq ($(GIT_COMMIT_COUNT),0)
         YOSYS_VER := $(YOSYS_VER)+$(GIT_COMMIT_COUNT)
     endif
+else
+    YOSYS_VER := $(YOSYS_VER)+post
 endif
 endif