diff options
| author | Pav Lucistnik <pav@FreeBSD.org> | 2004-01-09 20:26:17 +0000 |
|---|---|---|
| committer | Pav Lucistnik <pav@FreeBSD.org> | 2004-01-09 20:26:17 +0000 |
| commit | 7e191ae13cc1f1595d10cdf73b4384d6a5e641c8 (patch) | |
| tree | 9d1e5b3b5fc7fd3bba3391b69efd504a38ee823b /devel/splint | |
| parent | 4056c20493f0e3be6820203e5fd6f0aaff6934a0 (diff) | |
| download | ports-7e191ae13cc1f1595d10cdf73b4384d6a5e641c8.tar.gz ports-7e191ae13cc1f1595d10cdf73b4384d6a5e641c8.zip | |
Notes
Diffstat (limited to 'devel/splint')
| -rw-r--r-- | devel/splint/Makefile | 1 | ||||
| -rw-r--r-- | devel/splint/files/patch-src::cpplib.c | 11 |
2 files changed, 12 insertions, 0 deletions
diff --git a/devel/splint/Makefile b/devel/splint/Makefile index 4204534d62aa..ea735f236420 100644 --- a/devel/splint/Makefile +++ b/devel/splint/Makefile @@ -7,6 +7,7 @@ PORTNAME= splint PORTVERSION= 3.1.1 +PORTREVISION= 1 CATEGORIES= devel security MASTER_SITES= http://www.splint.org/downloads/ EXTRACT_SUFX= .src.tgz 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. */ |