diff --git a/configure b/configure index 7c0ca7b..6d22b3e 100755 --- a/configure +++ b/configure @@ -392,7 +392,7 @@ case $PLATFORM in PLATFORM=ppc64 ENVIRONMENT=64 ;; - "arm") + "arm"|"armv6*l"|"armv7*l") RTM_ENABLE="CK_MD_RTM_DISABLE" MM="${MM:-"CK_MD_RMO"}" PLATFORM=arm