tree 93101b30801843b0a2df3be98e38aa2533e08432
parent e5ff5907bef42fa9f3eff2e90ad941423dcc91dc
author Doug Zongker <dougz@android.com> 1326998629 -0800
committer Doug Zongker <dougz@android.com> 1326998629 -0800

prefer an explicitly-set TARGET_BOARD_INFO_FILE

Change-Id: Ie667a4d0070d1f0bbdfe9fa6d96871bcceb959b8