Use /var/tmp as temp dir; /tmp on debian is on tmpfs, not enough for whole thing

2011-09-25 23:30:55 -07:00 · 2011-09-25 23:30:55 -07:00 · 2bafb947c5
parent 1dabddb412
commit 2bafb947c5
1 changed files with 1 additions and 1 deletions
--- a/tools/test-release.sh
+++ b/tools/test-release.sh
@ -1,7 +1,7 @@
 #! /bin/sh

 if [ -z "$test_release_tmpdir" ]; then
-  tmpdir=`mktemp --directory --tmpdir medit-release.XXXXXX`
+  tmpdir=`mktemp --directory --tmpdir=/var/tmp medit-release.XXXXXX`
  mkdir $tmpdir/files
 else
  tmpdir=$test_release_tmpdir