1--- tla-1.3.5/src/build-tools/auto-conf-lib/gnu-patch-test 2006-07-20 08:34:28.000000000 +0200
2+++ tla-1.3.5/src/build-tools/auto-conf-lib/gnu-patch-test 2008-02-17 13:00:07.000000000 +0100
3@@ -27,7 +27,7 @@ else
4 fi
5
6 CMP='cmp' # we require a working 'cmp' utility
7-TMPDIR="/tmp/,patch-test.$$"
8+TMPDIR="${TMPDIR:-/tmp}/,patch-test.$$"
9
10 ORIG_A="$TMPDIR/to-patch_a"
11 ORIG_PRISTINE_A="$TMPDIR/to-patch_a.the-original"