diff --git a/tools/configure b/tools/configure
index 3f7e22b4b8..7ce341c094 100755
--- a/tools/configure
+++ b/tools/configure
@@ -2421,6 +2421,7 @@ fi
     t_manufacturer="as3525"
     t_model="sansa-clip"
     sysfont="08-Rockfont"
+    if [ "$ARG_ARM_THUMB" != 0 ]; then ARG_ARM_THUMB=1; fi
     arm9tdmicc
     ;;
 
@@ -2461,6 +2462,7 @@ fi
     t_manufacturer="as3525"
     t_model="sansa-m200v4"
     sysfont="08-Rockfont"
+    if [ "$ARG_ARM_THUMB" != 0 ]; then ARG_ARM_THUMB=1; fi
     arm9tdmicc
     ;;
 
@@ -2502,6 +2504,7 @@ fi
     t_cpu="arm"
     t_manufacturer="as3525"
     t_model="sansa-c200v2"
+    if [ "$ARG_ARM_THUMB" != 0 ]; then ARG_ARM_THUMB=1; fi
     arm9tdmicc
     ;;