Revision 09a5c245

View differences:

configure
1792 1792
: ${TMPDIR:=$TMP}
1793 1793
: ${TMPDIR:=/tmp}
1794 1794

  
1795
if ! check_cmd type mktemp; then
1795
if ! check_cmd mktemp -u; then
1796 1796
    # simple replacement for missing mktemp
1797 1797
    # NOT SAFE FOR GENERAL USE
1798 1798
    mktemp(){
1799
        echo "${2%XXX*}.${HOSTNAME}.${UID}.$$"
1799
        echo "${2%%XXX*}.${HOSTNAME}.${UID}.$$"
1800 1800
    }
1801 1801
fi
1802 1802

  

Also available in: Unified diff