diff -r 5da7c73c4f63 -r 9976f7b9fe66 tool/globals.h
--- a/tool/globals.h	Tue Jul 22 09:03:10 2008 +0000
+++ b/tool/globals.h	Tue Jul 22 11:38:21 2008 +0000
@@ -21,7 +21,7 @@
     Verbose
 };
 
-extern string command;
+extern string commandName;
 extern int slavePosition;
 extern int domainIndex;
 extern vector<string> commandArgs;