summaryrefslogtreecommitdiff
path: root/microkernel/mach
diff options
context:
space:
mode:
authorAndrew Engelbrecht <sudoman@ninthfloor.org>2011-08-04 18:30:02 -0400
committerAndrew Engelbrecht <sudoman@ninthfloor.org>2011-08-04 18:30:02 -0400
commitef0baf74357b7db4c094c5103e3d17599f46b6d1 (patch)
tree75a201b27b51743caebdeddcc39c7c2c05232835 /microkernel/mach
parent12197970c7b01aba6d822321c21f2c97fc602e02 (diff)
It's a good idea to backup prev. gnumach.gz
Diffstat (limited to 'microkernel/mach')
-rw-r--r--microkernel/mach/gnumach/building.mdwn7
1 files changed, 4 insertions, 3 deletions
diff --git a/microkernel/mach/gnumach/building.mdwn b/microkernel/mach/gnumach/building.mdwn
index 0a9e328c..ecaae7f8 100644
--- a/microkernel/mach/gnumach/building.mdwn
+++ b/microkernel/mach/gnumach/building.mdwn
@@ -95,6 +95,7 @@ Optionally run the (tiny) test suite:
$ make check
-The resulting kernel binary can now be moved into place
-(just copy `gnumach.gz`, typically to `/boot/gnumach.gz`),
-so you can boot your system with the new kernel.
+The resulting kernel binary can now be moved into place (just copy
+`gnumach.gz`, typically to `/boot/gnumach.gz`), so you can boot your system
+with the new kernel. It is a good idea to make a backup of the previously
+installed binary, in case you need to recover.