Merge pull request #57 from cseed/gitfix

Fix version info bug.
YosysHQ · Jan 20, 2017 · e97e35c · e97e35c
2 parents 814c062 + 89ba551
commit e97e35c
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/Makefile b/Makefile
@@ -20,8 +20,8 @@ ICEBOX ?= $(PREFIX)/share/icebox
 .PHONY: all
 all: bin/arachne-pnr share/arachne-pnr/chipdb-1k.bin share/arachne-pnr/chipdb-8k.bin
 
-VER = 0.1+$(shell echo `git log --oneline | wc -l`)+$(shell echo `git diff --name-only HEAD | wc -l`)
-GIT_REV = $(shell git rev-parse --verify --short HEAD)
+VER = 0.1+$(shell test -e .git && echo `git log --oneline | wc -l`+`git diff --name-only HEAD | wc -l`)
+GIT_REV = $(shell git rev-parse --verify --short HEAD 2>/dev/null || echo UNKNOWN)
 
 VER_HASH = $(shell echo "$(VER) $(GIT_REV)" | sum | cut -d ' ' -f -1)