at master 550 B view raw
1Have Splint honor $TMPDIR. 2 3--- splint-3.1.2/src/context.c 2004-07-31 21:04:26.000000000 +0200 4+++ splint-3.1.2/src/context.c 2008-07-11 10:55:16.000000000 +0200 5@@ -801,7 +801,10 @@ context_resetAllFlags (void) 6 val = cstring_makeLiteral (env != NULL ? env : DEFAULT_TMPDIR); 7 } 8 # else 9- val = cstring_makeLiteral (DEFAULT_TMPDIR); 10+ { 11+ char *env = getenv ("TMPDIR"); 12+ val = cstring_makeLiteral (env != NULL ? env : DEFAULT_TMPDIR); 13+ } 14 # endif /* !defined(OS2) && !defined(MSDOS) */ 15 16 break;