.PHONY: gummikraken_clone
gummikraken_clone:
[ -d gummikraken/.git ] || git clone https://git.tools.f4.htw-berlin.de/phaensch/gummikraken.git "gummikraken/"
gummikraken/: gummikraken_clone
.PHONY: gummikraken_clone
gummikraken_clone:
[ -d gummikraken/.git ] || git clone https://git.tools.f4.htw-berlin.de/phaensch/gummikraken.git "gummikraken/"
gummikraken/: gummikraken_clone