pkgs/development/tools/analysis/splint/tmpdir.patch

   1 Have 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;