--- /dev/null
+/* $Id$
+
+This file is part of gldbg
+Copyright © 2010 Mikko Rasa, Mikkosoft Productions
+Distributed under the GPL
+*/
+
+#include "tool.h"
+
+using namespace std;
+
+list<Tool::Factory *> &Tool::get_factories()
+{
+ static list<Tool::Factory *> factories;
+ return factories;
+}
+
+
+Tool::Factory::Factory()
+{
+ get_factories().push_back(this);
+}