diff options
Diffstat (limited to 'libs/libmdbx/src/Makefile')
| -rw-r--r-- | libs/libmdbx/src/Makefile | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/libs/libmdbx/src/Makefile b/libs/libmdbx/src/Makefile index 1898655ec2..bb4aa0531f 100644 --- a/libs/libmdbx/src/Makefile +++ b/libs/libmdbx/src/Makefile @@ -1,5 +1,7 @@ -all bench bench-quartet build-test check clean clean-bench cross-gcc cross-qemu dist gcc-analyzer install mdbx memcheck reformat release-assets strip test test-asan test-fault test-leak test-singleprocess test-ubsan test-valgrind tools: +# This is thunk-Makefile for calling GNU Make 3.80 or above + +all bench bench-quartet build-test check clean clean-bench cross-gcc cross-qemu dist doxygen gcc-analyzer install mdbx memcheck reformat release-assets strip test test-asan test-fault test-leak test-singleprocess test-ubsan test-valgrind tools: @CC=$(CC) \ CXX=`if test -n "$(CXX)" && which "$(CXX)" > /dev/null; then echo "$(CXX)"; elif test -n "$(CCC)" && which "$(CCC)" > /dev/null; then echo "$(CCC)"; else echo "c++"; fi` \ - `which gmake || which gnumake || echo 'echo "GNU Make is required"; exit 2;'` \ + `which gmake || which gnumake || echo 'echo "GNU Make 3.80 or above is required"; exit 2;'` \ $(MAKEFLAGS) -f GNUmakefile $@ |