ARM での rand()

ARM 環境で gawk 3.1.6 の 'make check' がパスしなくて、rand のチェックで NG となりまう。(他は全てパスします)
以前から、OS やコンパイル環境とかいろいろ疑っていたのですが、とりあえず C を分からずで以下のように処置をしています。

$ diff -u builtin.c.\~1.21.\~ builtin.c
--- builtin.c.~1.21.~   2007-10-01 05:34:15.000000000 +0900
+++ builtin.c   2007-12-22 19:09:01.000000000 +0900
@@ -2028,6 +2028,7 @@

 static int firstrand = TRUE;
 static char state[256];
+static short warned = FALSE;

 /* ARGSUSED */
 NODE *

gawk 3.1.6 または 3.1.5h 以降くらいで ARM のオフィシャルパッケージを出しているところがないので、あくまで自分のためのパッチでしかありません。
ただし、問題なく全てパスしているので、しばらくこれで運用していこうかと思います。