diff options
Diffstat (limited to 'Build/source/texk/web2c/luatexdir/tex/conditional.w')
-rw-r--r-- | Build/source/texk/web2c/luatexdir/tex/conditional.w | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/Build/source/texk/web2c/luatexdir/tex/conditional.w b/Build/source/texk/web2c/luatexdir/tex/conditional.w index 4c25a7a922f..53967087102 100644 --- a/Build/source/texk/web2c/luatexdir/tex/conditional.w +++ b/Build/source/texk/web2c/luatexdir/tex/conditional.w @@ -418,12 +418,8 @@ void conditional(void) scanner_status = save_scanner_status; break; case if_eof_code: - /* bad this system check here as it's an extension*/ - scan_four_bit_int_or_18(); - if (cur_val == write_target_system) - b = !shellenabledp; - else - b = (read_open[cur_val] == closed); + scan_four_bit_int(); + b = (read_open[cur_val] == closed); break; case if_true_code: b = true; |