diff --git a/main.sh b/main.sh index 7bad9aa..5701fd5 100755 --- a/main.sh +++ b/main.sh @@ -2,7 +2,7 @@ set -e -VERSION="3.13" +VERSION="3.14" source ./pika-build-config.sh