RIOT/makefiles
Gaëtan Harter 61a3e5d685
makefiles/docker.inc.mk: handle building in git worktree
When building from a worktree, the common git directory was not mounted
in docker.

This lead to the version not being set and issues with git-cache in
ubuntu bionic that could not execute the 'git hash-object' command.
2018-10-30 19:21:12 +01:00
..
2018-10-04 08:48:43 +02:00
2018-06-28 14:05:33 +02:00
2018-05-09 18:01:51 +02:00
2017-11-06 12:01:01 +01:00