diff options
author | Ludovic Courtès <ludo@gnu.org> | 2008-07-11 09:13:34 +0000 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2008-07-11 09:13:34 +0000 |
commit | 57030a28aa48dcd8ee76ad5f772d6f2802155b60 (patch) | |
tree | 83da0fe2d369cd4fcc8f8f543a479f5aa33cab05 /pkgs/development/tools/analysis/splint/tmpdir.patch | |
parent | bb72d9080500f418630f96ee7ed5c437a5704f8f (diff) | |
download | nixlib-57030a28aa48dcd8ee76ad5f772d6f2802155b60.tar nixlib-57030a28aa48dcd8ee76ad5f772d6f2802155b60.tar.gz nixlib-57030a28aa48dcd8ee76ad5f772d6f2802155b60.tar.bz2 nixlib-57030a28aa48dcd8ee76ad5f772d6f2802155b60.tar.lz nixlib-57030a28aa48dcd8ee76ad5f772d6f2802155b60.tar.xz nixlib-57030a28aa48dcd8ee76ad5f772d6f2802155b60.tar.zst nixlib-57030a28aa48dcd8ee76ad5f772d6f2802155b60.zip |
Add Splint, a static code analyzer for C.
svn path=/nixpkgs/trunk/; revision=12343
Diffstat (limited to 'pkgs/development/tools/analysis/splint/tmpdir.patch')
-rw-r--r-- | pkgs/development/tools/analysis/splint/tmpdir.patch | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/pkgs/development/tools/analysis/splint/tmpdir.patch b/pkgs/development/tools/analysis/splint/tmpdir.patch new file mode 100644 index 000000000000..01402ce943bc --- /dev/null +++ b/pkgs/development/tools/analysis/splint/tmpdir.patch @@ -0,0 +1,16 @@ +Have Splint honor $TMPDIR. + +--- splint-3.1.2/src/context.c 2004-07-31 21:04:26.000000000 +0200 ++++ splint-3.1.2/src/context.c 2008-07-11 10:55:16.000000000 +0200 +@@ -801,7 +801,10 @@ context_resetAllFlags (void) + val = cstring_makeLiteral (env != NULL ? env : DEFAULT_TMPDIR); + } + # else +- val = cstring_makeLiteral (DEFAULT_TMPDIR); ++ { ++ char *env = getenv ("TMPDIR"); ++ val = cstring_makeLiteral (env != NULL ? env : DEFAULT_TMPDIR); ++ } + # endif /* !defined(OS2) && !defined(MSDOS) */ + + break; |