Revision ef44b5bf configure

View differences:

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

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

  

Also available in: Unified diff