X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Futils%2Fpintos;h=afd0ec280f356516bd29e8db098d66649cb7df01;hb=f82b2d2ba814f9247e1dad946b04ecf50939c8c1;hp=32a4af59eadd7c834a3f583010e0dfa455c01450;hpb=e6d65cdffc13cba2633ac00bd2a84d22a1f3b172;p=pintos-anon

diff --git a/src/utils/pintos b/src/utils/pintos
index 32a4af5..afd0ec2 100755
--- a/src/utils/pintos
+++ b/src/utils/pintos
@@ -380,6 +380,7 @@ boot: c
 ips: 1000000
 megs: $mem
 log: bochsout.txt
+panic: action=fatal
 EOF
     print BOCHSRC "clock: sync=", $realtime ? 'realtime' : 'none', "time0=0\n";
     print_bochs_disk_line ("ata0-master", 0);