diff options
| author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2021-02-09 09:58:03 +0100 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2021-02-09 09:58:03 +0100 |
| commit | 38355f0d95baf159926ca30f377cd86ed8636838 (patch) | |
| tree | c9ab3ee664b00200a31403c70dc927f1dd01b910 | |
| parent | b100db2dc58e12af2ceba562869abb10de8ab309 (diff) | |
Note that one has to produce a 32bit mig
| -rw-r--r-- | microkernel/mach/mig/gnu_mig/building.mdwn | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/microkernel/mach/mig/gnu_mig/building.mdwn b/microkernel/mach/mig/gnu_mig/building.mdwn index 486c461e..2e155e75 100644 --- a/microkernel/mach/mig/gnu_mig/building.mdwn +++ b/microkernel/mach/mig/gnu_mig/building.mdwn @@ -48,6 +48,9 @@ Start the build process: $ dpkg-buildpackage -us -uc -b -rfakeroot +Note: if you are building on a non-32bit system, you need to also pass e.g. +`--target-arch=i386` to build the 32bit version. + This will create a _.deb_ package in the parent directory, which you can then install on your system. |