From e0f7fa921887ca91de01a870d40156709a251026 Mon Sep 17 00:00:00 2001 From: ferreo Date: Tue, 10 Dec 2024 17:33:54 +0100 Subject: [PATCH] Update main.sh --- main.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/main.sh b/main.sh index 749c3ca..f57c2cf 100755 --- a/main.sh +++ b/main.sh @@ -2,7 +2,7 @@ set -e -VERSION="3.17" +VERSION="3.18" source ./pika-build-config.sh