]> git.ipfire.org Git - thirdparty/LuaJIT.git/commitdiff
Handle the case when .git is not a directory.
authorMike Pall <mike>
Tue, 22 Aug 2023 15:04:22 +0000 (17:04 +0200)
committerMike Pall <mike>
Tue, 22 Aug 2023 15:04:22 +0000 (17:04 +0200)
Thanks to Alexander Shpilkin.

src/Makefile

index e6954a9550d1b340adc73076b44a01475aae5d28..29c01747ef5fdc39d7e885d1f8de4207def18ae2 100644 (file)
@@ -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 \