From 8882c83e6b0a7779d33500d162ae5a3572d86a49 Mon Sep 17 00:00:00 2001
From: Miles Bader <miles@gnu.org>
Date: Tue, 8 Jul 1997 22:44:41 +0000
Subject: Don't compress boot/serverboot (grub can't handle it).

---
 release/bfloppy1.copy | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
-- 
cgit v1.2.3