Bruno Haible <[EMAIL PROTECTED]> writes: [...] | $RANDOM is bash specific and expands to empty in shells | other than bash. [...]
$RANDOM is also supported by ksh and zsh. (No idea who copied who.) -- Alexandre Duret-Lutz _______________________________________________ Autoconf mailing list [EMAIL PROTECTED] http://lists.gnu.org/mailman/listinfo/autoconf
