[ -d gummikraken/.git ] || git clone https://git.tools.f4.htw-berlin.de/phaensch/gummikraken.git "gummikraken/"
gummikraken/: gummikraken_clone
+ -git -C $@ pull
-git -C $@ submodule init
- git -C $@ submodule update --remote
+ -git -C $@ submodule update --remote
teesock/teesock.arm: teesock/
make -C $< "$(notdir $@)"