From: Ben Pfaff <blp@cs.stanford.edu>
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);