micro: set PREFERRED_ARM_INSTRUCTION_SET weakly so local.conf can
authorPhil Blundell <philb@gnu.org>
Sat, 19 Sep 2009 12:36:48 +0000 (13:36 +0100)
committerPhil Blundell <philb@gnu.org>
Sat, 19 Sep 2009 12:36:48 +0000 (13:36 +0100)
commitb50202f4be562e271f3c3acc15e6f6d1f98619e8
treee576a362c79d04ebe2ae3712e9bb449131e57102
parentd7f889b1a94b7e84ca593659c285c3ccdbfd2fe8
micro: set PREFERRED_ARM_INSTRUCTION_SET weakly so local.conf can
override
conf/distro/micro.conf