summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--microkernel/mach/mig/gnu_mig/building.mdwn3
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.