X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=src%2Futils%2Fpintos;fp=src%2Futils%2Fpintos;h=2ebe642a5d1de310121d7f9acb2989cabb181b84;hp=156421649d943356fe69e2447e55a307bf84fd91;hb=fd2a5afa946474ba0839de0e9da238dbaecbd6a5;hpb=161bf03beb0aae6ad38aa884cd534a94737d396a

diff --git a/src/utils/pintos b/src/utils/pintos
index 1564216..2ebe642 100755
--- a/src/utils/pintos
+++ b/src/utils/pintos
@@ -912,7 +912,7 @@ sub get_load_average {
 # Calls setitimer to set a timeout, then execs what was passed to us.
 sub exec_setitimer {
     if (defined $timeout) {
-	if ($ ge 5.8.0) {
+	if ($^V ge 5.8.0) {
 	    eval "
               use Time::HiRes qw(setitimer ITIMER_VIRTUAL);
               setitimer (ITIMER_VIRTUAL, $timeout, 0);