diff options
author | Kito Cheng <kito.cheng@gmail.com> | 2018-06-21 17:44:25 +0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-06-21 17:44:25 +0800 |
commit | 600ff370c65ba99d2103a050a1847671cc0bd9c9 (patch) | |
tree | fbbbc55a9a98cbc4be9eb73a151507dde39b85e3 /machine/vm.h | |
parent | 2cffbf5d8efd9822dbac98e2fde89adba871d4b0 (diff) | |
parent | c3cf29a8f2f5f6a0b793bd1f24b083a759370a01 (diff) | |
download | pk-600ff370c65ba99d2103a050a1847671cc0bd9c9.zip pk-600ff370c65ba99d2103a050a1847671cc0bd9c9.tar.gz pk-600ff370c65ba99d2103a050a1847671cc0bd9c9.tar.bz2 |
Merge pull request #102 from zongbox/m32-v2
Replace the --enable-32bit option by --with-arch
Diffstat (limited to 'machine/vm.h')
0 files changed, 0 insertions, 0 deletions