From 67200c8e6041979fc9ce4aa6be95d81c8e941882 Mon Sep 17 00:00:00 2001
From: Michael Tuexen <tuexen@fh-muenster.de>
Date: Sat, 3 Nov 2018 21:39:30 +0100
Subject: [PATCH] --persistent_tun_dev doesn't use a value.

---
 gtests/net/packetdrill/config.c | 1 -
 1 file changed, 1 deletion(-)

diff --git a/gtests/net/packetdrill/config.c b/gtests/net/packetdrill/config.c
index c77f37d6..afe3d3f3 100644
--- a/gtests/net/packetdrill/config.c
+++ b/gtests/net/packetdrill/config.c
@@ -597,7 +597,6 @@ static void process_option(int opt, char *optarg, struct config *config,
 		config->tun_device = strdup(optarg);
 		break;
 	case OPT_PERSISTENT_TUN_DEV:
-		assert(optarg != NULL);
 		config->persistent_tun_device = true;
 		break;
 #endif
-- 
GitLab