diff options
| author | Irene Knapp <ireneista@irenes.space> | 2026-10-04 21:10:34 -0700 |
|---|---|---|
| committer | Irene Knapp <ireneista@irenes.space> | 2026-10-04 21:10:34 -0700 |
| commit | 03253e6516e7b2daccd46731e6f4cd72ca18ddfd (patch) | |
| tree | 9d084315fa1175961c9078e908fd632e5a9cbe1e /language/boot-source-footer.e | |
| parent | b832425dd197c5ee2779faeaf3ab2e6eed30da93 (diff) | |
add everything in compilation/ to the boot-source
this means it's now always available it does make evoke.hex significantly larger! Force-Push: yes Change-Id: I4017b2a666fd456b851dc1b77d1ee7ef5360b35b
Diffstat (limited to 'language/boot-source-footer.e')
| -rw-r--r-- | language/boot-source-footer.e | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/language/boot-source-footer.e b/language/boot-source-footer.e new file mode 100644 index 0000000..97a8c5b --- /dev/null +++ b/language/boot-source-footer.e @@ -0,0 +1,6 @@ +~ This file should be included in executables that use boot-source, as the +~ last thing in the boot-source. It has the responsibility of switching from +~ processing boot-source into the regular interaction mode. + +relink-main-input-buffer-to-stdin + |