diff options
| author | Mike Pall <mike> | 2023-08-22 17:04:22 +0200 |
|---|---|---|
| committer | Mike Pall <mike> | 2023-08-22 17:04:22 +0200 |
| commit | d0ce82ecdcf0fcfb766e207eac6b7622680817b2 (patch) | |
| tree | a1c65bee2309030ff523d8355546eff6d829bef2 | |
| parent | 6a2163a6b45d6d2515993e829153442f1cdf5631 (diff) | |
| download | luajit-d0ce82ecdcf0fcfb766e207eac6b7622680817b2.tar.gz luajit-d0ce82ecdcf0fcfb766e207eac6b7622680817b2.tar.bz2 luajit-d0ce82ecdcf0fcfb766e207eac6b7622680817b2.zip | |
Handle the case when .git is not a directory.
Thanks to Alexander Shpilkin.
| -rw-r--r-- | src/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
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) | |||
| 446 | DASM_DASC= vm_$(DASM_ARCH).dasc | 446 | DASM_DASC= vm_$(DASM_ARCH).dasc |
| 447 | 447 | ||
| 448 | GIT= git | 448 | GIT= git |
| 449 | GIT_RELVER= [ -d ../.git ] && $(GIT) show -s --format=%ct >luajit_relver.txt 2>/dev/null || cat ../.relver >luajit_relver.txt 2>/dev/null || : | 449 | GIT_RELVER= [ -e ../.git ] && $(GIT) show -s --format=%ct >luajit_relver.txt 2>/dev/null || cat ../.relver >luajit_relver.txt 2>/dev/null || : |
| 450 | GIT_DEP= $(wildcard ../.git/HEAD ../.git/refs/heads/*) | 450 | GIT_DEP= $(wildcard ../.git/HEAD ../.git/refs/heads/*) |
| 451 | 451 | ||
| 452 | BUILDVM_O= host/buildvm.o host/buildvm_asm.o host/buildvm_peobj.o \ | 452 | BUILDVM_O= host/buildvm.o host/buildvm_asm.o host/buildvm_peobj.o \ |