diff options
| author | pav <pav@FreeBSD.org> | 2004-01-09 20:26:17 +0000 |
|---|---|---|
| committer | pav <pav@FreeBSD.org> | 2004-01-09 20:26:17 +0000 |
| commit | a3e7e0cb35827742c8344c7729edd6ee29136e17 (patch) | |
| tree | 043c4dcd49e67f5ef935c02b761f7ea8096b73a5 /devel/splint | |
| parent | e9938aa41ba58a05370699ae6f2a45ff7654b269 (diff) | |
| download | FreeBSD-ports-a3e7e0cb35827742c8344c7729edd6ee29136e17.zip FreeBSD-ports-a3e7e0cb35827742c8344c7729edd6ee29136e17.tar.gz | |
- Add fix for parsing FreeBSD's sys/cdefs.h ('__func__')
- Bump portrevision
PR: ports/61131
Submitted by: Volker Stolz <stolz@i2.informatik.rwth-aachen.de>
Obtained from: Splint CVS
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 4204534..ea735f2 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 0000000..2564668 --- /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. */ |
