diff options
Diffstat (limited to 'tex/context/base/core-job.mkii')
| -rw-r--r-- | tex/context/base/core-job.mkii | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/tex/context/base/core-job.mkii b/tex/context/base/core-job.mkii index a8a753e0d..5c280c15b 100644 --- a/tex/context/base/core-job.mkii +++ b/tex/context/base/core-job.mkii @@ -203,6 +203,11 @@ \expandafter\finalend \fi} +\def\forcequitjob#1% + {\writestatus\m!systems{forcing quit: #1}% + \batchmode + \dorecurse\textlevel\stoptext + \normalend} \let\autostoptext\relax |