Fix build script

[senf.git] / Console / Config.cc

diff --git a/Console/Config.cc b/Console/Config.cc
index dc08724..1895d16 100644 (file)
--- a/Console/Config.cc
+++ b/Console/Config.cc
@@ -153,6 +153,12 @@ prefix_ senf::console::detail::RestrictedExecutor::RestrictGuard::~RestrictGuard
     executor_.restrict_ = senf::console::root().thisptr();
 }
 
+///////////////////////////////////////////////////////////////////////////
+// senf::console::detail::ConfigSource
+
+prefix_ senf::console::detail::ConfigSource::~ConfigSource()
+{}
+
 ///////////////////////////////cc.e////////////////////////////////////////
 #undef prefix_
 //#include "Config.mpp"