diff options
Diffstat (limited to 'language/boot-source-footer.e')
| -rw-r--r-- | language/boot-source-footer.e | 15 |
1 files changed, 13 insertions, 2 deletions
diff --git a/language/boot-source-footer.e b/language/boot-source-footer.e index e95fc0e..8889c0f 100644 --- a/language/boot-source-footer.e +++ b/language/boot-source-footer.e @@ -2,7 +2,18 @@ ~ last thing in the boot-source. It has the responsibility of switching from ~ processing boot-source into the regular interaction mode. -process-command-line-arguments +: finish-boot-source + ~ Once we do the relink, nothing after that point in the boot source will + ~ be read. Since we do have another operation to do before we actually hand + ~ over control to "quit", we need to do the relink in a compiled word like + ~ this. + relink-main-input-buffer-to-stdin -relink-main-input-buffer-to-stdin + ~ It may be helpful, if you're doing anything interesting at the command + ~ line, to keep this order of operations in mind. + process-command-line-arguments ; + +~ Notionally we could have this word be non-hidden, but there's no reason to +~ ever use it again, so out of a spirit of tidiness... +x' finish-boot-source make-hidden execute |