Bruno Haible <[EMAIL PROTECTED]> wrote: > Not bad, but still not perfect: mktemp is not a POSIX standardized > utility, and $RANDOM is bash specific.
What sort of threat are you trying to defend against? Even if mktemp is not available, and even if $RANDOM is empty, mkdir will still either create a new directory or correctly fail. It won't let you use an existing directory (or symlink to a directory). paul _______________________________________________ Autoconf mailing list [EMAIL PROTECTED] http://lists.gnu.org/mailman/listinfo/autoconf
