#!/bin/bash
#
# Updates a superproject
#

# Parameters
BASENAME="`basename $0`"

# Check
if [ ! -e ".git" ]; then
  echo "$BASENAME: not a git repository"
  exit 1
fi

# Run
git fetch --all
git pull $* || exit 1
git submodule sync   --recursive
git submodule update --recursive --init
git submodules-checkout-branch