1
0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2024-12-29 04:50:03 +01:00
Commit Graph

3 Commits

Author SHA1 Message Date
Leon George
bff3bf72c8 pkg/Makefile.{http,git}: Minor issues resolved.
The were two recipes for clean. One of them is now "dist-clean"
2014-09-28 03:26:32 +02:00
Benjamin Valentin
ab4d151a6a 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
2014-03-19 16:19:30 +01:00
Martin Lenders
cbd3b16fe4 Add package porting infomation 2013-11-25 17:17:00 +01:00