RIOT-OS/RIOT — pull request #1198 by Kijewski (2014-05-16 16:20:46+00:00)
Title: make: fix #1197

Partial revert of 85b7eca19edf76a5b82c2ebe01e0e90a3292dee7

Fixes #1197.