diff options
| -rw-r--r-- | Build/source/texk/web2c/xetexdir/xetex-latex3.ch | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/xetexdir/xetex-latex3.ch b/Build/source/texk/web2c/xetexdir/xetex-latex3.ch index 87d8cb4a85c..ee12e225ee1 100644 --- a/Build/source/texk/web2c/xetexdir/xetex-latex3.ch +++ b/Build/source/texk/web2c/xetexdir/xetex-latex3.ch @@ -387,7 +387,10 @@ is_in_csname := false; badness_code: cur_val:=last_badness; pdf_shell_escape_code: begin - if shellenabledp then cur_val := 1 + if shellenabledp then begin + if restrictedshell then cur_val := 2 + else cur_val := 1; + end else cur_val := 0; end; @z |