1 files changed, 1 insertions, 1 deletions
diff --git a/src/utils/pintos b/src/utils/pintos
index 546b152..e96bc22 100755
--- a/src/utils/pintos
+++ b/src/utils/pintos
@@ -867,7 +867,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);