K 10
svn:author
V 6
marino
K 8
svn:date
V 27
2014-12-15T14:26:05.036961Z
K 7
svn:log
V 140
Make jobs unsafe on two ports

Both of these ports have failed repeatedly under multi-job runs, and
had to be fixed by disabling make jobs.

END