diff options
| author | Guillem Jover <guillem@debian.org> | 2008-07-08 13:08:48 +0000 |
|---|---|---|
| committer | Guillem Jover <guillem@debian.org> | 2008-07-08 13:08:48 +0000 |
| commit | 6ac0362e0dafb7f8d255452c1ccdbc51e9c3acb9 (patch) | |
| tree | a5a86d41e3a9d6b969cc96ebeee79afc46bca88b /debian/patches/05_halt_on_panic_flag.patch | |
| parent | 87c0e02cea4725d054cbce852a895af518b5f482 (diff) | |
Sync with upstream gnumach snapshot 1.3.99.dfsg.cvs20080708
Diffstat (limited to 'debian/patches/05_halt_on_panic_flag.patch')
| -rw-r--r-- | debian/patches/05_halt_on_panic_flag.patch | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/debian/patches/05_halt_on_panic_flag.patch b/debian/patches/05_halt_on_panic_flag.patch index 5d99852..1509810 100644 --- a/debian/patches/05_halt_on_panic_flag.patch +++ b/debian/patches/05_halt_on_panic_flag.patch @@ -50,9 +50,9 @@ Index: b/kern/debug.c void panic(const char *s, ...) @@ -165,7 +169,7 @@ panic(const char *s, ...) - #if MACH_KDB - Debugger("panic"); - #else + delay (1000000); /* microseconds */ + } + - halt_all_cpus (1); + halt_all_cpus (reboot_on_panic); #endif |