android 7.0: shell script: syntax compare numbers

[Alexander Reiche]

Hi,

 

i have strange behavior on my android phone, please double check if this is a bug or usage problem.

 

This is expected behavior (works fine)

 

CUBOT_KING_KONG:/ # datasz=999999999999                                        
CUBOT_KING_KONG:/ # disksz=1000000000000                                       
CUBOT_KING_KONG:/ # [ $datasz -gt $disksz ]; echo $?                           
1

 

But it does not work for this example

CUBOT_KING_KONG:/ # datasz=6337536                                             
CUBOT_KING_KONG:/ # disksz=12213288960
CUBOT_KING_KONG:/ # [ $datasz -gt $disksz ]; echo $?                           
0
CUBOT_KING_KONG:/ # [[ $datasz -gt $disksz ]]; echo $?                         
0
CUBOT_KING_KONG:/ # [[ "$datasz" -gt "$disksz" ]]; echo $?                     
0
CUBOT_KING_KONG:/ # [ $datasz -gt 12213288960 ]; echo $?                       
0
CUBOT_KING_KONG:/ # [ 6337536 -gt 12213288960 ]; echo $?                       
0

CUBOT_KING_KONG:/ # echo $KSH_VERSION                                          
@(#)MIRBSD KSH R52 2016/01/20
CUBOT_KING_KONG:/ #

 

Grüße aus Dresden

Alexander Reiche