#!/usr/bin/env bash
. `dirname "$0"`/Tools/platform.sh
git -C `dirname "$0"` submodule update --depth 1 --init "Tools/$KORE_PLATFORM"