RIOT-OS/RIOT — pull request #1386 by haukepetersen (2014-07-08 14:50:40+00:00)
Title: make: removed shell_commands dependency

I just stumbled on this - can somebody explain this dependency to me?