From be39aa278e20206fdd9502015d742c622b3f8d9c Mon Sep 17 00:00:00 2001 From: Valentin Rakush Date: Mon, 11 May 2020 05:33:26 +0000 Subject: [PATCH] Check GIT_VERSION --- Makefile | 7 +++++++ lib/Makefile | 7 +++++-- src/Makefile | 7 +++++-- 3 files changed, 17 insertions(+), 4 deletions(-) diff --git a/Makefile b/Makefile index 728a13c1a..16cfd1003 100644 --- a/Makefile +++ b/Makefile @@ -1,3 +1,10 @@ +ifndef GIT_VERSION +GIT_VERSION := $(shell git describe --long) +ifndef GIT_VERSION +$(error GIT_VERSION is not set) +endif +endif + O0=-O0 O2=-O2 O1=-O1 diff --git a/lib/Makefile b/lib/Makefile index ba33b8359..db3b10d85 100644 --- a/lib/Makefile +++ b/lib/Makefile @@ -1,6 +1,9 @@ - - +ifndef GIT_VERSION GIT_VERSION := $(shell git describe --long) +ifndef GIT_VERSION +$(error GIT_VERSION is not set) +endif +endif DEPS_PATH=../deps diff --git a/src/Makefile b/src/Makefile index 29cbe816a..1537d641f 100644 --- a/src/Makefile +++ b/src/Makefile @@ -1,6 +1,9 @@ - - +ifndef GIT_VERSION GIT_VERSION := $(shell git describe --long) +ifndef GIT_VERSION +$(error GIT_VERSION is not set) +endif +endif DEPS_PATH=../deps