coreos/scripts — pull request #146 by marineam (2013-12-12 03:42:37+00:00)
Title: fix(toolchain_util.sh): Fix BOARD_NAMES list

This has been broken since d91e8d21 :(