From 7a79df9dbaf6b64f20a1155a4ca5733c8a83768e Mon Sep 17 00:00:00 2001 From: Valentin Rakush Date: Mon, 11 May 2020 05:33:26 +0000 Subject: [PATCH] Check GIT_VERSION (cherry picked from commit be39aa278e20206fdd9502015d742c622b3f8d9c) --- Makefile | 7 +++++++ lib/Makefile | 7 +++++-- src/Makefile | 7 +++++-- 3 files changed, 17 insertions(+), 4 deletions(-) diff --git a/Makefile b/Makefile index cb3377320..d39e4847f 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 f0236e719..4247855c9 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 75b51a576..b6bfbcce6 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