diff options
author | Bill Fumerola <billf@FreeBSD.org> | 1999-07-09 14:45:38 +0000 |
---|---|---|
committer | Bill Fumerola <billf@FreeBSD.org> | 1999-07-09 14:45:38 +0000 |
commit | 0f8784618982743532cc06f4d24365d820d912c9 (patch) | |
tree | 8d1cd564c478d4ab6a85633cef3cae77ba5478d6 /devel/splint/files | |
parent | 79f502e266174fe31419dd7369ed54bb71640188 (diff) | |
download | ports-0f8784618982743532cc06f4d24365d820d912c9.tar.gz ports-0f8784618982743532cc06f4d24365d820d912c9.zip |
Notes
Diffstat (limited to 'devel/splint/files')
-rw-r--r-- | devel/splint/files/patch-ab | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/devel/splint/files/patch-ab b/devel/splint/files/patch-ab new file mode 100644 index 000000000000..ae8eb70eaa77 --- /dev/null +++ b/devel/splint/files/patch-ab @@ -0,0 +1,11 @@ +--- configure.orig Thu Jul 8 18:53:53 1999 ++++ configure Thu Jul 8 19:00:12 1999 +@@ -511,7 +511,7 @@ + trap 'rm -f Makefile; exit 1' 1 3 15 + CC='$CC' + CPP='$CPP' +-OPT='$OPT' ++OPT='$CFLAGS' + cwdir='$cwdir' + INSTALL='$INSTALL' + INSTALL_PROGRAM='$INSTALL_PROGRAM' |