diff options
author | Karl Berry <karl@freefriends.org> | 2013-04-07 00:36:49 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2013-04-07 00:36:49 +0000 |
commit | 2f714e390e9028975dc3206dfa563317d6f33e24 (patch) | |
tree | 48918ff4918fcbf1bab5cac91bce66a266b23c5c /Build/source/texk/dvipsk/resident.c | |
parent | 4726eefd36f3f04d60287ce5a9cd47b70e433141 (diff) |
if m value in config.ps (et al.) is <=0, set available printer memory to INT_MAX
git-svn-id: svn://tug.org/texlive/trunk@29703 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/dvipsk/resident.c')
-rw-r--r-- | Build/source/texk/dvipsk/resident.c | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/Build/source/texk/dvipsk/resident.c b/Build/source/texk/dvipsk/resident.c index 665686eaede..9fca17b56c8 100644 --- a/Build/source/texk/dvipsk/resident.c +++ b/Build/source/texk/dvipsk/resident.c @@ -475,7 +475,11 @@ case 'm' : if (sscanf(was_inline+1, "%d", &swmem) != 1) bad_config("missing swmem to m"); #endif /* ~SHORTINT */ - swmem += fontmem; /* grab headers we've seen already */ + if (swmem > 0) { + swmem += fontmem; /* grab headers we've seen already */ + } else { + swmem = INT_MAX; /* if value <=0, max it out */ + } break; case 'M' : /* If the user specified a -mode, don't replace it. */ |