diff options
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' |