aboutsummaryrefslogtreecommitdiff
path: root/devel/splint/files
diff options
context:
space:
mode:
authorBill Fumerola <billf@FreeBSD.org>1999-07-09 14:45:38 +0000
committerBill Fumerola <billf@FreeBSD.org>1999-07-09 14:45:38 +0000
commit0f8784618982743532cc06f4d24365d820d912c9 (patch)
tree8d1cd564c478d4ab6a85633cef3cae77ba5478d6 /devel/splint/files
parent79f502e266174fe31419dd7369ed54bb71640188 (diff)
downloadports-0f8784618982743532cc06f4d24365d820d912c9.tar.gz
ports-0f8784618982743532cc06f4d24365d820d912c9.zip
Notes
Diffstat (limited to 'devel/splint/files')
-rw-r--r--devel/splint/files/patch-ab11
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'