Index: tools/g_list.pl
===================================================================
--- tools/g_list.pl	(revision 4127)
+++ tools/g_list.pl	(revision 4128)
@@ -78,5 +78,5 @@
     select(STDERR); $| = 1;     # make unbuffered
     select(STDOUT); $| = 1;     # make unbuffered
-    system '$svn update $home';
+    system("$svn update $home");
     printline("</PRE>");
     printline("<H2>Done.<H2><P>");