diff --git a/utils/pintos b/utils/pintos
index 16a725a9ef4dd44351f9b82e911eca1841cd50b1..042f2a687433366a2fec37a0a5c0c7923996cee3 100755
--- a/utils/pintos
+++ b/utils/pintos
@@ -929,15 +929,15 @@ sub exec_setitimer {
     exit (1);
 }
 
-sub SIGVTALRM {
-    use Config;
-    my $i = 0;
-    foreach my $name (split(' ', $Config{sig_name})) {
-	return $i if $name eq 'VTALRM';
-	$i++;
-    }
-    return 0;
-}
+#sub SIGVTALRM {
+#    use Config;
+#    my $i = 0;
+#    foreach my $name (split(' ', $Config{sig_name})) {
+#	return $i if $name eq 'VTALRM';
+#	$i++;
+#    }
+#    return 0;
+#}
 
 # find_in_path ($program)
 #