diff options
author | Sebastien Braun | 2010-08-25 19:51:41 +0200 |
---|---|---|
committer | Sebastien Braun | 2010-08-25 19:51:41 +0200 |
commit | 442bbd9c203ab5cd6998aebb4b25918ce4ceda9f (patch) | |
tree | 42f3545cd72a662100d29738890601d5f640e442 /3rdparty | |
parent | Make PGM interface configurable (diff) | |
download | pvs-442bbd9c203ab5cd6998aebb4b25918ce4ceda9f.tar.gz pvs-442bbd9c203ab5cd6998aebb4b25918ce4ceda9f.tar.xz pvs-442bbd9c203ab5cd6998aebb4b25918ce4ceda9f.zip |
Add patch for OpenPGM to fix switch() fallthrough
Diffstat (limited to '3rdparty')
-rw-r--r-- | 3rdparty/01-libpgm-fix-switch-fallthrough.patch | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/3rdparty/01-libpgm-fix-switch-fallthrough.patch b/3rdparty/01-libpgm-fix-switch-fallthrough.patch new file mode 100644 index 0000000..23dfc9c --- /dev/null +++ b/3rdparty/01-libpgm-fix-switch-fallthrough.patch @@ -0,0 +1,11 @@ +diff -Naur pgm/socket.c pgm-fixed/socket.c +--- pgm/socket.c 2010-05-22 06:42:00.000000000 +0200 ++++ pgm-fixed/socket.c 2010-07-14 19:24:43.710669589 +0200 +@@ -641,6 +641,7 @@ + break; + sock->spmr_expiry = *(const int*)optval; + status = TRUE; ++ break; + + /* size of receive window in sequence numbers. + * 0 < rxw_sqns < one less than half sequence space |