g/c unused

diff --git a/include/rumprun-base/config.h b/include/rumprun-base/config.h
index 014265a341c6533231fe715eedf336d5af9328bc..be52267f25cfe6efd64fd35003e5fb3f6343ed5d 100644 (file)
--- a/include/rumprun-base/config.h
+++ b/include/rumprun-base/config.h
@@ -31,9 +31,6 @@
 /* yeah, simple */
 #define RUMPRUN_DEFAULTUSERSTACK ((32*(sizeof(void *)/4)*4096)/1024)
 
-extern int rumprun_cmdline_argc;
-extern char **rumprun_cmdline_argv;
-
 char *rumprun_config_path(char *);
 
 void   rumprun_config(char *);