summaryrefslogtreecommitdiff
path: root/Build
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2017-05-01 22:39:53 +0000
committerKarl Berry <karl@freefriends.org>2017-05-01 22:39:53 +0000
commit8c793c0c08d5dacbca98c8e9b6da0e83b33372d9 (patch)
tree560eca33d4f0abd73d551ab282e83878ce97847d /Build
parentf6f14b66a43cfda291c0d146c1019d2c384c6f8e (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