diff options
| author | klaar36 <klas.arvidsson@liu.se> | 2018-03-22 12:14:59 +0100 |
|---|---|---|
| committer | klaar36 <klas.arvidsson@liu.se> | 2018-03-22 12:14:59 +0100 |
| commit | db66a7426d91c3513dad0ba2bb795aa6164c5be1 (patch) | |
| tree | db562aa097b74efed03b8f2ec1ab98cdd90c6ffc /src | |
| parent | 3b39301d34d7a000325a42bbcfe880b53ac26154 (diff) | |
| parent | 503ce80a7707036875f3e9f7a58326f297a8b90d (diff) | |
| download | pintos-rs-db66a7426d91c3513dad0ba2bb795aa6164c5be1.tar.gz | |
Merge branch 'patch-1' into 'master'
make pintos-script perl 5.26 compatible
See merge request !8
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); |