coreos/scripts — pull request #306 by marineam (2014-07-22 21:15:42+00:00)
Title: setup_board: fix fetching binary toolchain packages

Fix 98684560 which in turn tried to fix 0d29e735. This time the option
to download binary packages was lost so building from scratch worked but
not the normal usage of using binary packages. *sigh*