Commit ed3ed4d801a4d417ea304715d4d8ae581a6c6903

Tom Tromey 2018-04-27T10:48:51

Merge pull request #429 from yousong/m4subst build: fix subst toolexecdir, toolexeclibdir