revno 734 introduces bashism ($RANDOM)

[Patrick Welche]

$RANDOM is rare amongst shells, but is implemented in bash. It looks as though it is being used to create a unique filename. In that case, maybe use mktemp instead? (Available in many OS and also provided by coreutils, so I think more portable than $RANDOM)

[Hib Eris (hiberis)]

See: https://bugs.launchpad.net/intltool/+bug/903340/comments/12

"according to http://www.gnu.org/software/autoconf/manual/autoconf.html, mktemp is not always available on all systems."

So I choose to use

_it_tmp_dir=tmp.intltool.$RANDOM && mkdir _it_tmp_dir

instead of

_it_tmp_dir=`mktemp -d tmp.XXXXXXXXXX`

[Patrick Welche (prlw1)]

Agreed that mktemp is not always available on all systems. However $RANDOM is even less likely!