tree 2bb558d1d970ff7cc6a1dd48f4b52184c4fe4d92
parent d5e7ff02921854e28a9859d443f96900e041ca03
author Kang-Che Sung <explorer09@gmail.com> 1483773406 +0800
committer Denys Vlasenko <vda.linux@googlemail.com> 1483883034 +0100

build system: no longer prompt for PLATFORM_LINUX option

With the new "select PLATFORM_LINUX" mechanism
(commit e3b1a1fd28558f7a1b3c0ec33313bedb675be8a1), the PLATFORM_LINUX
option alone no longer has any purpose of changing program behavior or
affecting compiled code. So there is no longer need to prompt user of
this config question.

Signed-off-by: Kang-Che Sung <explorer09@gmail.com>
Signed-off-by: Denys Vlasenko <vda.linux@googlemail.com>