pintos: Avoid apparent name collision in definition of SIGALRM subroutine.

[pintos-anon] / src / utils / pintos

diff --git a/src/utils/pintos b/src/utils/pintos
index 2ebe642a5d1de310121d7f9acb2989cabb181b84..e460866719588afb40838e9fead814bc14abfeea 100755 (executable)
--- a/src/utils/pintos
+++ b/src/utils/pintos
@@ -853,7 +853,7 @@ sub xsystem {
        alarm (0);
        &$cleanup ();
 
        alarm (0);
        &$cleanup ();
 

-       if (WIFSIGNALED ($?) && WTERMSIG ($?) == SIGVTALRM ()) {
+       if (WIFSIGNALED ($?) && WTERMSIG ($?) == SIGVTALRM_number ()) {

            seek (STDOUT, 0, 2);
            print "\nTIMEOUT after $timeout seconds of host CPU time\n";
            exit 0;
            seek (STDOUT, 0, 2);
            print "\nTIMEOUT after $timeout seconds of host CPU time\n";
            exit 0;


@@ -928,7 +928,7 @@ sub exec_setitimer {
     exit (1);
 }
 
     exit (1);
 }
 

-sub SIGVTALRM {
+sub SIGVTALRM_number {

     use Config;
     my $i = 0;
     foreach my $name (split(' ', $Config{sig_name})) {
     use Config;
     my $i = 0;
     foreach my $name (split(' ', $Config{sig_name})) {