Fix in-tree --platform=none
authorColin Watson <cjwatson@ubuntu.com>
Thu, 25 Sep 2014 19:59:26 +0000 (20:59 +0100)
committerColin Watson <cjwatson@ubuntu.com>
Thu, 25 Sep 2014 19:59:26 +0000 (20:59 +0100)
commit77063f4cb672f423272db7e21ca448cf3de98dcf
tree2e05378b2c4e7274a28022528f710e1e65b45e46
parent5d90f6e533d82abf89f9e1787f90f17f2fab14aa
Fix in-tree --platform=none

* configure.ac: Only remove include/grub/cpu and
include/grub/machine in the --platform=none case, not all of
include/grub.
ChangeLog
configure.ac