diff options
author | Michael I. Bushnell <mib@gnu.org> | 1994-11-11 19:19:26 +0000 |
---|---|---|
committer | Michael I. Bushnell <mib@gnu.org> | 1994-11-11 19:19:26 +0000 |
commit | 46da9a1df83e95ee0b6624925c04f5082e31989d (patch) | |
tree | 9bdaf18f01cf640ce47141f168e940ebf88af1ae /auth/Makefile | |
parent | ff36ab26f0a7cc983b63e09f28e1a1129b2d58c4 (diff) |
(fakeboot): New variable.
(STANDALONE): Deleted macro.
(main): Set FAKEBOOT if -f was passed.
(reboot_mach): Use FAKEBOOT flag instead of STANDALONE macro.
(launch_core_servers): Likewise.
(reboot_system): Likewise. Also don't exit here; let reboot_mach exit.
Diffstat (limited to 'auth/Makefile')
0 files changed, 0 insertions, 0 deletions