diff options
| author | Irene Knapp <ireneista@irenes.space> | 2026-09-23 20:36:05 -0700 |
|---|---|---|
| committer | Irene Knapp <ireneista@irenes.space> | 2026-09-23 20:51:14 -0700 |
| commit | 3b565483d9fbf6454d6d0e79a4e8fe1ae6c9eace (patch) | |
| tree | d31964a8f2f10c66b28ecea7f2c2ccf136fc0e79 /files.e | |
| parent | 9806454fbcd9cbb195eb5ef17e0a1d36e06a64f9 (diff) | |
this should be a robust fix for the double-termination issue when compiling Force-Push: yes Change-Id: Ieaacdc232ea7e3036916d81139fc5c5a41087c64
Diffstat (limited to 'files.e')
| -rw-r--r-- | files.e | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/files.e b/files.e index 5bafd9a..9f353c5 100644 --- a/files.e +++ b/files.e @@ -152,7 +152,7 @@ main-input-buffer dup push-input-buffer swap attach-input-buffer-to-file-descriptor - { peek } { interpret } while + { peek -1 != } { interpret } while main-input-buffer buffer-file-descriptor @ sys-close drop ~ Ignore a failed close. |