> On Aug 18, 2018, at 7:59 AM, Rin Okuyama <rokuyama%rk.phys.keio.ac.jp@localhost> wrote: > > On 2018/08/18 20:08, Rin Okuyama wrote: >> Ah, then it should be "if ARM32". It was "if arm32" in rev. 1.31. > > Sorry, not 1.31 but 1.30. That's because all options are normalized to lower-case. -- thorpej