> On Nov 6, 2018, at 10:27 AM, Ken Cunningham <ken.cunningham.web...@gmail.com> > wrote: > > > >> On Nov 6, 2018, at 7:15 AM, Adam Dershowitz <de...@alum.mit.edu >> <mailto:de...@alum.mit.edu>> 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