diff --git a/build.sh b/build.sh index d8c3f05dc5..80c7e53d42 100755 --- a/build.sh +++ b/build.sh @@ -41,6 +41,10 @@ create_dummy_ksp () { # TODO: Manual hack, a better way to handle this kind of identifiers may be needed. case $KSP_VERSION in + "0.23") + echo "Overidding '0.23' with '0.23.0'" + KSP_VERSION="0.23.0" + ;; "0.90") echo "Overidding '0.90' with '0.90.0'" KSP_VERSION="0.90.0"