> On Nov 6, 2018, at 10:27 AM, Ken Cunningham <[email protected]> > wrote: > > > >> On Nov 6, 2018, at 7:15 AM, Adam Dershowitz <[email protected] >> <mailto:[email protected]>> wrote: >> >> touch -r dvisvgm.txt.in dvisvgm.txt > > Hangs on a touch, it appears. > > When I’ve seen this in the past, disabling parallel building usually fixes it. > > K
That worked! Very strange that it should make a difference, and only for this port. Thanks, --Adam
