From 32c252ea35a7b310dab58969f8ad31ee8130fb68 Mon Sep 17 00:00:00 2001
From: rdk <rdk@users.noreply.github.com>
Date: Wed, 19 Jul 2023 14:32:35 +0200
Subject: [PATCH] fix make-distro.sh

---
 make-distro.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/make-distro.sh b/make-distro.sh
index 7ac3510f..db428d34 100755
--- a/make-distro.sh
+++ b/make-distro.sh
@@ -8,7 +8,7 @@ set -e
 
 ./make-clean.sh
 
-VERSION=`gradle properties -q | grep "version:" | awk '{print $2}'`
+VERSION=`./gradlew properties -q | grep "version:" | awk '{print $2}'`
 DIRNAME="p2rank_$VERSION"
 
 mkdir -p build