From bde56aa1f81bc006d0d6e752fce7f3269dce1d01 Mon Sep 17 00:00:00 2001
From: Enno Rehling <enno.rehling@gmail.com>
Date: Tue, 9 Dec 2014 06:46:45 +0100
Subject: [PATCH] eliminate unused variables, fix CI build.

---
 src/kernel/config.c | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/src/kernel/config.c b/src/kernel/config.c
index 27dcb2480..c28357c31 100644
--- a/src/kernel/config.c
+++ b/src/kernel/config.c
@@ -1092,10 +1092,6 @@ void freestrlist(strlist * s)
 }
 
 /* - Namen der Strukturen -------------------------------------- */
-typedef char name[OBJECTIDSIZE + 1];
-static name idbuf[8];
-static int nextbuf = 0;
-
 char *untilde(char *ibuf)
 {
     char *p = ibuf;