RIOT-OS/RIOT — pull request #905 by benpicco (2014-03-19 15:28:26+00:00)
Title: improve Makefile.git

Change the example Makefile.git as suggested in #895
abort when a patch fails to apply
fix build with GNU Make 4.0
reset git to the specified version instead of checking out a detached head