diff options
Diffstat (limited to 'devel/splint/files/patch-src::cpplib.c')
| -rw-r--r-- | devel/splint/files/patch-src::cpplib.c | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/devel/splint/files/patch-src::cpplib.c b/devel/splint/files/patch-src::cpplib.c new file mode 100644 index 000000000000..2564668ff2dc --- /dev/null +++ b/devel/splint/files/patch-src::cpplib.c @@ -0,0 +1,11 @@ +--- src/cpplib.c.orig Fri Jan 9 16:44:23 2004 ++++ src/cpplib.c Fri Jan 9 16:44:51 2004 +@@ -2828,7 +2828,7 @@ + else if (hp->type == T_CONST) + ok = !CPPOPTIONS (pfile)->done_initializing; + else { +- BADBRANCH; ++ ok = FALSE; /* Redefining anything else is bad. */ + } + + /* Print the warning if it's not ok. */ |