g/c deconfig

Should be and (mostly is) implemented by the rump kernel.

diff --git a/include/rumprun-base/config.h b/include/rumprun-base/config.h
index be52267f25cfe6efd64fd35003e5fb3f6343ed5d..270560acef06ec2835e8a1df7cfc09f089e33f3e 100644 (file)
--- a/include/rumprun-base/config.h
+++ b/include/rumprun-base/config.h
@@ -34,7 +34,6 @@
 char *rumprun_config_path(char *);
 
 void   rumprun_config(char *);
-void   rumprun_deconfig(void);
 
 #define RUMPRUN_EXEC_BACKGROUND 0x01
 #define RUMPRUN_EXEC_PIPE      0x02

diff --git a/lib/librumprun_base/config.c b/lib/librumprun_base/config.c
index 2110047800e9be799a87440f184cc8b7239cd5ca..a1cd31b092660a0152f94db8c88b53b9eced9b13 100644 (file)
--- a/lib/librumprun_base/config.c
+++ b/lib/librumprun_base/config.c
@@ -812,10 +812,3 @@ rumprun_config(char *cmdline)
 
        free(tokens);
 }
-
-void
-rumprun_deconfig(void)
-{
-
-       return; /* TODO */
-}

diff --git a/lib/librumprun_base/rumprun.c b/lib/librumprun_base/rumprun.c
index bb659e900e16175ba44ff15bba114f1049415c4f..b5d52e565167fd47126757516972f6bff089294f 100644 (file)
--- a/lib/librumprun_base/rumprun.c
+++ b/lib/librumprun_base/rumprun.c
@@ -297,7 +297,6 @@ void __attribute__((noreturn))
 rumprun_reboot(void)
 {
 
-       rumprun_deconfig();
        _netbsd_userlevel_fini();
        rump_sys_reboot(0, 0);