From c1e597feba807838fbd8c52a256d7d916c768b16 Mon Sep 17 00:00:00 2001
From: "(Tim) Efthimis Kritikos" <efkf@firemail.cc>
Date: Wed, 6 Dec 2023 00:23:24 +0000
Subject: [PATCH] Build system: added handling for building on systems without
 git

---
 common.mk | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/common.mk b/common.mk
index 4d4df43..0bb6baa 100644
--- a/common.mk
+++ b/common.mk
@@ -30,7 +30,8 @@ BUILD_SEED_DIFFERENTIATION=0
 
 VERSION="v0.3.0-dev"
 
-COMMIT=$(shell git log --pretty=format:'%H' -1 |cat)
+# TODO: handle case where the source code is not part of a git repository
+COMMIT=$(shell if which git >/dev/null 2>/dev/null ;then git log --pretty=format:'%H' -1 |cat ;else echo git-not-installed; fi)
 
 ifeq "${QUIET}" "1"
        QUIET_AS		= @echo   '  AS         '$@;