diff options
Diffstat (limited to 'devel/splint/files/patch-src::Headers::constants.h')
| -rw-r--r-- | devel/splint/files/patch-src::Headers::constants.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/devel/splint/files/patch-src::Headers::constants.h b/devel/splint/files/patch-src::Headers::constants.h index 90fd210e8abe..f8ee4c2f602d 100644 --- a/devel/splint/files/patch-src::Headers::constants.h +++ b/devel/splint/files/patch-src::Headers::constants.h @@ -5,7 +5,7 @@ /*@constant observer char *DEFAULT_SYSTEMDIR; @*/ -# define DEFAULT_SYSTEMDIR "/usr/" -+# define DEFAULT_SYSTEMDIR "/usr/include/:/usr/lib/:/usr/local/include/:/usr/local/lib/" ++# define DEFAULT_SYSTEMDIR "/usr/include/:/usr/lib/:%%PREFIX%%/include/:%%PREFIX%%/lib/" /*@constant char DEFAULT_COMMENTCHAR; @*/ # define DEFAULT_COMMENTCHAR '@' |