[xyzsh/f18] workaround for parallel make issue

[Mamoru Tasaka]

Summary of changes:

  5a53c5a... workaround for parallel make issue (*)

(*) This commit already existed in another branch; no separate mail sent