diff --git a/build-devkit.sh b/build-devkit.sh index 32d6ca2..0ce19a5 100755 --- a/build-devkit.sh +++ b/build-devkit.sh @@ -27,8 +27,8 @@ echo -DKARM_RULES_VER=1.2.1 -DKARM_CRTLS_VER=1.1.1 +DKARM_RULES_VER=1.3.0 +DKARM_CRTLS_VER=1.2.1 DKPPC_RULES_VER=1.1.0