Bruno Haible <bruno@xxxxxxxxx> 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 Autoconf@xxxxxxx http://lists.gnu.org/mailman/listinfo/autoconf
