diff options
Diffstat (limited to 'devel/splint/files/patch-src__Headers__constants.h')
| -rw-r--r-- | devel/splint/files/patch-src__Headers__constants.h | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/devel/splint/files/patch-src__Headers__constants.h b/devel/splint/files/patch-src__Headers__constants.h new file mode 100644 index 000000000000..f00c0e389b42 --- /dev/null +++ b/devel/splint/files/patch-src__Headers__constants.h @@ -0,0 +1,11 @@ +--- src/Headers/constants.h.orig 2004-08-01 03:04:28.000000000 +0800 ++++ src/Headers/constants.h 2007-07-25 21:58:56.000000000 +0800 +@@ -101,7 +101,7 @@ + # define DEFAULT_SYSTEMDIR "/os2/" + # else + /*@constant observer char *DEFAULT_SYSTEMDIR; @*/ +-# define DEFAULT_SYSTEMDIR "/usr/" ++# define DEFAULT_SYSTEMDIR "/usr/include/:/usr/lib/:%%PREFIX%%/include/:%%PREFIX%%/lib/" + # endif + + /*@constant char DEFAULT_COMMENTCHAR; @*/ |