diff options
author | Miles Bader <miles@gnu.org> | 1997-07-08 22:44:41 +0000 |
---|---|---|
committer | Miles Bader <miles@gnu.org> | 1997-07-08 22:44:41 +0000 |
commit | 8882c83e6b0a7779d33500d162ae5a3572d86a49 (patch) | |
tree | 74856776ba4c25dc9521a92c403bd96ed45e66d5 | |
parent | 3eadb70a3b5d9a87d91229916235cd189a36af2f (diff) |
Don't compress boot/serverboot (grub can't handle it).
-rw-r--r-- | release/bfloppy1.copy | 2 |
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 |