From 50f4fb664b51f4a431e6e97d081273049a6901df Mon Sep 17 00:00:00 2001
From: John Marino <marino@FreeBSD.org>
Date: Sun, 18 Dec 2016 03:55:03 +0000
Subject: [PATCH] benchmarks/dkftpbench: fix build on GCC (taken from dports)

---
 benchmarks/dkftpbench/files/patch-Platoon.h | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/benchmarks/dkftpbench/files/patch-Platoon.h b/benchmarks/dkftpbench/files/patch-Platoon.h
index ab34a9438253..49214b77f178 100644
--- a/benchmarks/dkftpbench/files/patch-Platoon.h
+++ b/benchmarks/dkftpbench/files/patch-Platoon.h
@@ -1,11 +1,12 @@
 --- Platoon.h.orig	2002-02-13 05:06:01 UTC
 +++ Platoon.h
-@@ -1,13 +1,11 @@
+@@ -1,13 +1,12 @@
  #ifndef Platoon_H
  #define Platoon_H
  #include "robouser.h"
 -#include <list.h>
 +#include <list>
++#include <cstring>
  
  /* FIXME: 'reasonable' upper bound on number of users CPU can handle */
  #define Platoon_MAXUSERS (1 << 16)
@@ -15,7 +16,7 @@
  /**----------------------------------------------------------------------
   Platoon of robousers.
  ----------------------------------------------------------------------*/
-@@ -150,7 +148,7 @@ private:
+@@ -150,7 +149,7 @@ private:
  	robouser_t *m_users[Platoon_MAXUSERS];
  
  	/** List of dead robousers waiting to be reaped */