[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH gnumach] db_interface: Don't call db_on if MACH_KDB is off
From: |
Samuel Thibault |
Subject: |
Re: [PATCH gnumach] db_interface: Don't call db_on if MACH_KDB is off |
Date: |
Sat, 5 Aug 2023 01:49:15 +0200 |
User-agent: |
NeoMutt/20170609 (1.8.3) |
Applied, thanks!
Damien Zammit, le sam. 22 juil. 2023 04:50:27 +0000, a ecrit:
> Allows building of gnumach with --disable-kdb and --enable-ncpus > 1
> ---
> i386/i386/db_interface.c | 2 +-
> 1 file changed, 1 insertion(+), 1 deletion(-)
>
> diff --git a/i386/i386/db_interface.c b/i386/i386/db_interface.c
> index 5a4ace9f..06cbd5e0 100644
> --- a/i386/i386/db_interface.c
> +++ b/i386/i386/db_interface.c
> @@ -100,7 +100,7 @@ void db_load_context(pcb_t pcb)
> }
>
> void cpu_interrupt_to_db(int i){
> -#if NCPUS > 1
> +#if MACH_KDB && NCPUS > 1
> db_on(i);
> #endif
> }
> --
> 2.40.1
>
>
>
--
Samuel
---
Pour une évaluation indépendante, transparente et rigoureuse !
Je soutiens la Commission d'Évaluation de l'Inria.
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- Re: [PATCH gnumach] db_interface: Don't call db_on if MACH_KDB is off,
Samuel Thibault <=