diff options
| author | Miles Bader <miles@gnu.org> | 1997-07-09 20:20:03 +0000 |
|---|---|---|
| committer | Miles Bader <miles@gnu.org> | 1997-07-09 20:20:03 +0000 |
| commit | 82533a1bdee3be7e2bf5666d0ce2a29ccc9f4f56 (patch) | |
| tree | 33b7c37008d1eaf74e316e37cedd423d0621356b /serverboot/Makefile | |
| parent | 745d89448eb5c78fe17bb4cb1305f5713c107b3b (diff) | |
(main):
Don't exit if no paging partition.
Diffstat (limited to 'serverboot/Makefile')
0 files changed, 0 insertions, 0 deletions