Re: [PATCH] improve mig building guide

Pasha (biblio), le ven. 02 févr. 2024 18:26:05 +0100, a ecrit: > From: "pasha (biblio)" > > --- > microkernel/mach/mig/gnu_mig/building.mdwn | 16 +++- > 1 file changed, 15 insertions(+), 1 deletion(-) > > diff --git a/microkernel/mach/mig/gnu_mig/building.mdwn > b/microkernel/mach

Re: [PATCH] improve mig building guide

Hello, Pasha (biblio), le ven. 02 févr. 2024 18:26:05 +0100, a ecrit: > @@ -93,6 +93,11 @@ Build and install the Mach Interface Generator into _$GNU_ > (i.e. _~/gnu/_ in our > > $ make all install > > +In case of --target 32-bit, mig might be installed as i686-(linux)-gnu-mig. > Create

[PATCH] improve mig building guide

From: "pasha (biblio)" --- microkernel/mach/mig/gnu_mig/building.mdwn | 16 +++- 1 file changed, 15 insertions(+), 1 deletion(-) diff --git a/microkernel/mach/mig/gnu_mig/building.mdwn b/microkernel/mach/mig/gnu_mig/building.mdwn index f335aa73..8f919aa7 100644 --- a/microkernel/ma