summaryrefslogtreecommitdiff
path: root/release
diff options
context:
space:
mode:
authorMiles Bader <miles@gnu.org>1997-07-08 22:44:41 +0000
committerMiles Bader <miles@gnu.org>1997-07-08 22:44:41 +0000
commit8882c83e6b0a7779d33500d162ae5a3572d86a49 (patch)
tree74856776ba4c25dc9521a92c403bd96ed45e66d5 /release
parent3eadb70a3b5d9a87d91229916235cd189a36af2f (diff)
Don't compress boot/serverboot (grub can't handle it).
Diffstat (limited to 'release')
-rw-r--r--release/bfloppy1.copy2
1 files changed, 1 insertions, 1 deletions
diff --git a/release/bfloppy1.copy b/release/bfloppy1.copy
index 312fe70c..65c9fbc7 100644
--- a/release/bfloppy1.copy
+++ b/release/bfloppy1.copy
@@ -1,7 +1,7 @@
mkdir boot
mkdir boot/grub
gzip objcopy boot/gnumach
-gzip objcopy boot/serverboot
+objcopy boot/serverboot
copy boot/grub/stage1
copy boot/grub/stage2
copy boot/grub/ffs_stage1_5