diff options
Diffstat (limited to 'language/boot-source-footer.e')
| -rw-r--r-- | language/boot-source-footer.e | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/language/boot-source-footer.e b/language/boot-source-footer.e index 97a8c5b..e95fc0e 100644 --- a/language/boot-source-footer.e +++ b/language/boot-source-footer.e @@ -2,5 +2,7 @@ ~ 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 + relink-main-input-buffer-to-stdin |