commit dd8ca103575cd6e94944b437372a0462032990c0
author Robert Swiecki <robert@swiecki.net> Tue Jun 06 10:03:32 2017 +0200
committer Robert Swiecki <robert@swiecki.net> Tue Jun 06 10:03:32 2017 +0200
tree a1970cf7f1a590effdc03d9c06c0e5214377be30
parent 6215621207ef2861954418d883a7395fa0558af8

cmdline: remove unused --linux_skip_glibc_check

cmdline.c

diff --git a/cmdline.c b/cmdline.c
index a07be9d..ec09ef1 100644
--- a/cmdline.c
+++ b/cmdline.c
@@ -319,7 +319,6 @@
         {{"linux_ns_net", no_argument, NULL, 0x0530}, "Use Linux NET namespace isolation"},
         {{"linux_ns_pid", no_argument, NULL, 0x0531}, "Use Linux PID namespace isolation"},
         {{"linux_ns_ipc", no_argument, NULL, 0x0532}, "Use Linux IPC namespace isolation"},
-        {{"linux_skip_glibc_check", no_argument, NULL, 0x0540}, "Don't FAIL() with outdated GLibC version (<2.23)"},
 #endif  // defined(_HF_ARCH_LINUX)
         {{0, 0, 0, 0}, NULL},
     };