diff --git a/build-devkit.sh b/build-devkit.sh index d0f9133..8f41834 100755 --- a/build-devkit.sh +++ b/build-devkit.sh @@ -27,8 +27,8 @@ echo -DKARM_RULES_VER=1.5.0 -DKARM_CRTLS_VER=1.2.2 +DKARM_RULES_VER=1.5.1 +DKARM_CRTLS_VER=1.2.5 DKPPC_RULES_VER=1.2.1