From 10d0d3e5362c6e0d940f194746e5664a76c7a52f Mon Sep 17 00:00:00 2001 From: Michael Wiebusch Date: Wed, 24 Jul 2013 16:53:50 +0200 Subject: [PATCH] small change --- tools/testgui.pl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/testgui.pl b/tools/testgui.pl index ee635ea..943abf7 100755 --- 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); -- 2.43.0