From d0ce82ecdcf0fcfb766e207eac6b7622680817b2 Mon Sep 17 00:00:00 2001
From: Mike Pall <mike>
Date: Tue, 22 Aug 2023 17:04:22 +0200
Subject: [PATCH] Handle the case when .git is not a directory.

Thanks to Alexander Shpilkin.
---
 src/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Makefile b/src/Makefile
index e6954a95..29c01747 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -446,7 +446,7 @@ DASM_FLAGS= $(DASM_XFLAGS) $(DASM_AFLAGS)
 DASM_DASC= vm_$(DASM_ARCH).dasc
 
 GIT= git
-GIT_RELVER= [ -d ../.git ] && $(GIT) show -s --format=%ct >luajit_relver.txt 2>/dev/null || cat ../.relver >luajit_relver.txt 2>/dev/null || :
+GIT_RELVER= [ -e ../.git ] && $(GIT) show -s --format=%ct >luajit_relver.txt 2>/dev/null || cat ../.relver >luajit_relver.txt 2>/dev/null || :
 GIT_DEP= $(wildcard ../.git/HEAD ../.git/refs/heads/*)
 
 BUILDVM_O= host/buildvm.o host/buildvm_asm.o host/buildvm_peobj.o \