diff options
author | Karl Berry <karl@freefriends.org> | 2017-05-01 22:39:53 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2017-05-01 22:39:53 +0000 |
commit | 8c793c0c08d5dacbca98c8e9b6da0e83b33372d9 (patch) | |
tree | 560eca33d4f0abd73d551ab282e83878ce97847d /Build | |
parent | f6f14b66a43cfda291c0d146c1019d2c384c6f8e (diff) |
(action_shell): exit F_OK if get eof.
git-svn-id: svn://tug.org/texlive/trunk@44144 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build')
0 files changed, 0 insertions, 0 deletions