diff options
Diffstat (limited to 'userspace/init.c')
| -rw-r--r-- | userspace/init.c | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/userspace/init.c b/userspace/init.c index 163c9fd..bd72ecf 100644 --- a/userspace/init.c +++ b/userspace/init.c @@ -13,8 +13,6 @@ int main(int argc, char **argv) printf("Current time: %s", ctime(<ime)); printf("fool-init: spawning a Fool's Shell\n"); - - while(1); // loop forever and spawn shells if the top-shell exits while(1) { |