diff options
author | Akira Kakuto <kakuto@fuk.kindai.ac.jp> | 2022-04-03 22:55:12 +0000 |
---|---|---|
committer | Akira Kakuto <kakuto@fuk.kindai.ac.jp> | 2022-04-03 22:55:12 +0000 |
commit | f1cf5476a59325e050767c85640bc820735924c2 (patch) | |
tree | 91052dd4f93e6b63a669b192d28bf309e19e4919 /Master/tlpkg/tlgs/lib/jobseparator.ps | |
parent | eb04a90ed55d30b8ab8eb05798a8077975e098e1 (diff) |
tlgs: gs 9.56.0
git-svn-id: svn://tug.org/texlive/trunk@62895 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/tlgs/lib/jobseparator.ps')
-rw-r--r-- | Master/tlpkg/tlgs/lib/jobseparator.ps | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Master/tlpkg/tlgs/lib/jobseparator.ps b/Master/tlpkg/tlgs/lib/jobseparator.ps new file mode 100644 index 00000000000..fbb6920842f --- /dev/null +++ b/Master/tlpkg/tlgs/lib/jobseparator.ps @@ -0,0 +1,3 @@ +% Execute the "real" system version of the ^D to separate jobs +% when -dJOBDSERVER is being used. +<04> cvn .systemvar exec |