From 33d287bb56579cb40daf7a3bef55977ce35253f6 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Mon, 14 Jan 2008 07:47:31 +0000 Subject: [PATCH] prefer /var/tmp over /usr/tmp (and /tmp) svn: r8317 --- src/mzscheme/src/file.c | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/mzscheme/src/file.c b/src/mzscheme/src/file.c index c2254f9feb..0b1c0d7054 100644 --- a/src/mzscheme/src/file.c +++ b/src/mzscheme/src/file.c @@ -5685,6 +5685,9 @@ find_system_path(int argc, Scheme_Object **argv) return scheme_make_path(p); } + if (scheme_directory_exists("/var/tmp")) + return scheme_make_path("/var/tmp"); + if (scheme_directory_exists("/usr/tmp")) return scheme_make_path("/usr/tmp");