diff -r 9e7fe258495e -r 3552b4c46f10 tools/Master.h --- a/tools/Master.h Tue Jul 08 08:35:22 2008 +0000 +++ b/tools/Master.h Tue Jul 08 08:55:54 2008 +0000 @@ -10,6 +10,7 @@ #include #include #include +#include using namespace std; #include "../include/ecrt.h" @@ -71,8 +72,9 @@ void close(); void writeSlaveAlias(uint16_t, uint16_t); - void showDetailedConfigs(); - void listConfigs(); + typedef list ConfigList; + void showDetailedConfigs(const ConfigList &); + void listConfigs(const ConfigList &); void outputDomainData(unsigned int); enum {BreakAfterBytes = 16}; void showDomain(unsigned int);