diff options
author | Karl Berry <karl@freefriends.org> | 2018-12-24 23:17:30 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2018-12-24 23:17:30 +0000 |
commit | e598b6a83ccb96d578300e10f1e269ef88027faf (patch) | |
tree | bae1e06142ff872bab76a290840ccd09b7833857 /Build/source/texk/web2c/configure | |
parent | a13030f39366d2ba11509849863e9f6a9d78af89 (diff) |
-lpthread on openbsd; tldbg prefix on our own comment/trace msgs
git-svn-id: svn://tug.org/texlive/trunk@49495 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/web2c/configure')
0 files changed, 0 insertions, 0 deletions