small change

diff --git a/tools/testgui.pl b/tools/testgui.pl
index ee635eacaffa49bf2aa1d2a7ba44d00b3a64907a..943abf79de8dbf6b1eeb48c1f159ddfd68d80221 100755 (executable)
--- a/tools/testgui.pl
+++ b/tools/testgui.pl
@@ -32,6 +32,6 @@ print escapeHTML("hallo<<<>>>&&&!!"),br;
 print escapeHTML($here);
 
 chdir("./preview") or die "could not change directory!";
-system("./run -t 0.1");
+system("./run.pl -t 0.1");
 chdir($here);