diff options
| author | Vidar Westfelt <vidwe032@student.liu.se> | 2018-03-22 11:44:03 +0100 |
|---|---|---|
| committer | Vidar Westfelt <vidwe032@student.liu.se> | 2018-03-22 11:44:03 +0100 |
| commit | 503ce80a7707036875f3e9f7a58326f297a8b90d (patch) | |
| tree | db562aa097b74efed03b8f2ec1ab98cdd90c6ffc /src | |
| parent | 3b39301d34d7a000325a42bbcfe880b53ac26154 (diff) | |
| download | pintos-rs-503ce80a7707036875f3e9f7a58326f297a8b90d.tar.gz | |
make pintos-script perl 5.26 compatible
Diffstat (limited to 'src')
| -rwxr-xr-x | src/utils/pintos | 2 |
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); |