contiki-os/contiki — pull request #385 by LocutusOfBorg (2013-10-17 10:35:24+00:00)
Title: Better error message in case of wrong CPUREV value

Just a minor modification in case of wrong value pushed