aboutsummaryrefslogtreecommitdiff
path: root/Makefile.inc
diff options
context:
space:
mode:
authorFurquan Shaikh <furquan@google.com>2014-04-22 11:48:30 -0700
committerPatrick Georgi <patrick@georgi-clan.de>2014-04-26 13:25:28 +0200
commit817149643c27fca022cf526d6113a4aff898d511 (patch)
tree1ea6764eb8e4f1c9199c21c975ab09fe4ff1717e /Makefile.inc
parentea2900bd6c260bb8b06a8b9e3fc93a21bd87d2e6 (diff)
Get rid of HAVE_INIT_TIMER config option
There is redundancy in terms of use of init_timer. We have a Kconfig option to decide whether a board has init_timer as well as we use a stub for init_timer in places where we do not have any init_timer defined. Thus, remove the Kconfig option. Henceforth, all boards that do not have init_timer functionality can include a stub_timer if required. Change-Id: I35d38ec686f4dc92861cf9248f9b540323cd98ae Signed-off-by: Furquan Shaikh <furquan@google.com> Reviewed-on: http://review.coreboot.org/5569 Tested-by: build bot (Jenkins) Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net> Reviewed-by: Kyösti Mälkki <kyosti.malkki@gmail.com>
Diffstat (limited to 'Makefile.inc')
0 files changed, 0 insertions, 0 deletions