diff --git a/compile.sh b/compile.sh
index 3e6808fb95fdc217c84c92c60ce97bd10df2b668..afb6d192108f597f19b6cdb680a80cd08dd59cd2 100755
--- a/compile.sh
+++ b/compile.sh
@@ -105,7 +105,7 @@ export GCCVER
 export ANDROID_API
 
 # XXX : important!
-[ "$HAVE_ARM" = 1 ] && cat << EOF
+[ ${ANDROID_ABI} = "armeabi" ] && cat << EOF
 For an ARMv6 device without FPU:
 $ export NO_FPU=1
 For an ARMv5 device: