From e7f4cf52aa1dcd741c9c5d6a5963763a0b0d30a3 Mon Sep 17 00:00:00 2001
From: a3-alsayed <aisha2.alsayed@live.uwe.ac.uk>
Date: Tue, 10 Jan 2023 03:51:32 +0000
Subject: [PATCH] Update src/utils/pintos
---
src/utils/pintos | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/utils/pintos b/src/utils/pintos
index 16a725a..0ddb8a6 100755
--- a/src/utils/pintos
+++ b/src/utils/pintos
@@ -913,7 +913,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 (${"\cV"} ge 5.8.0) {
+ if ($? ge 5.8.0) {
eval "
use Time::HiRes qw(setitimer ITIMER_VIRTUAL);
setitimer (ITIMER_VIRTUAL, $timeout, 0);
--
GitLab