From: Ben Pfaff Date: Fri, 19 May 2006 16:50:19 +0000 (+0000) Subject: Remove unused variable. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=a69e1123a5e1fc3d09af11b0dc3281c5f22a1382;p=pintos-anon Remove unused variable. --- diff --git a/src/tests/tests.pm b/src/tests/tests.pm index 7d0777c..01259dd 100644 --- a/src/tests/tests.pm +++ b/src/tests/tests.pm @@ -8,7 +8,6 @@ sub pass; die if @ARGV != 2; our ($test, $src_dir) = @ARGV; -our ($src_stem) = "$src_dir/$test"; my ($msg_file) = tempfile (); select ($msg_file);