Makefile: rename variable to be more clear

diff --git a/Makefile b/Makefile
index c363876dfd3fef30a0f2a3ecef3832949854c023..9b20f4c8a65632c7d0f1c25e18417b38724c9ff2 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -64,16 +64,16 @@ PHONY += tests
 tests: $(LIB_SO)
        $(MAKE) -C $(TESTS_DIR)
 
-BENCHMARKS := benchmarks
+BENCH_DIR := benchmarks
 
 PHONY += benchmarks
 benchmarks: $(LIB_SO)
-       @if ! test -d $(BENCHMARKS); then \
-               echo "Directory $(BENCHMARKS) does not exist" && \
+       @if ! test -d $(BENCH_DIR); then \
+               echo "Directory $(BENCH_DIR) does not exist" && \
                echo "Please clone the benchmarks repository" && \
                echo && \
                exit 1; \
        fi
-       $(MAKE) -C $(BENCHMARKS)
+       $(MAKE) -C $(BENCH_DIR)
 
 .PHONY: $(PHONY)