contiki-os/contiki — pull request #821 by cmorty (2014-10-14 08:07:36+00:00)
Title: Make reproducing result from the CI easier

Here are some patches that make easier to reproduce the results from the CI. Specifically supporting building identical binaries.