Commit 540258d13e1d427254cbeddacdd2bb1ab2c307d1

Tom Tromey 2017-10-01T20:17:02

Merge pull request #317 from angerman/patch-3 Add src/x86/asmnames.h to noinst_HEADERS