diff options
| author | 2016-06-10 01:08:12 +1000 | |
|---|---|---|
| committer | 2016-06-10 01:08:12 +1000 | |
| commit | 89466e4937ef83c97f21800d48e7b5d3d7c4276e (patch) | |
| tree | 5d2a8748d44ef35e922f3fed2a5fe38d8b591d3f /makefile | |
| parent | 21aee1a27f75297b5c4b14c759a020605b780f4b (diff) | |
Fix travis
Diffstat (limited to 'makefile')
| -rw-r--r-- | makefile | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -906,6 +906,9 @@ NEW_GIT_VERSION := $(shell git describe --dirty) else NEW_GIT_VERSION := unknown endif +ifeq ($(NEW_GIT_VERSION),) +NEW_GIT_VERSION := unknown +endif GENIE := 3rdparty/genie/bin/$(GENIEOS)/genie$(EXE) |
